О неразрешимости общих проблем полноты, разрешения и эквивалентности для исчислений высказыванийстатья