Укажите теорему Гёделя о полноте исчисления предикатов:
(Отметьте один правильный вариант ответа.)
Варианты ответа
любая прикладная теория первого порядка, содержащая формальную арифметику, не является полной теорией
чистое исчисление предикатов первого порядка полно, то есть любая общезначимая формула выводима(Верный ответ)
не существует алгоритма установления общезначимости произвольной формулы логики предикатов