Множество X - -перечислимо тогда и только тогда, когда для некоторого перечислимого множества E:

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

• # Если в одноместную формулу с номером n подставить значение n, то получим:
• # Примитивно рекурсивно свойство:
• # Функция U(n,m), - универсальна для класса вычислимых функций одного аргумента, если для каждого n:
• # Теорема Клини о неподвижной точке:
• # Структура на множестве X - это отношение типа: