Теорема Чёрча утверждает, что
(Отметьте один правильный вариант ответа.)
Варианты ответа
исчисление предикатов неразрешимо(Верный ответ)
исчисление предикатов полно
исчисление предикатов разрешимо