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