Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:

Правильный ответ:

• # При любом n любое множество из класса :
• # Утверждение "Всякое исчисление, порождающее формулы арифметики либо не адекватно, либо неполно" - это:
• # Образец является:
• # Существуют ли Паскаль-программы А и В, печатающие, соответственно, тексты В и А?
• # Если f сводит Х к Y, g - Y к Z, то: