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

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

• # Вычислима функция:
• # Простое множество:
• # Образцом не является (n - натуральное, x - вещественное число):
• # Свойство A принадлежит классу , если для некоторого разрешимого свойства В:
• # Если , то: