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