Неаксиоматизируемость предикатных логик доказательств

В работе получен отрицательный ответ на вопрос о возможности эффективного описания свойств предикатов доказательств средствами логики первого порядка с оператором доказательств. Получены результаты о неарифметичности истинностной логики доказательств и неперечислимости логики доказательств, ограниченной средствами арифметики Пеано.
Библиогр. 5.