Множество номеров нигде не определенной функции:
Множеством, перечислимым относительно всюду определенной вычислимой функции f является множество:
Перечислимое множество, для которого прямой пересчет его дополнения неограничен сверху вычислимой функцией является:
Если U - главная вычислимая универсальная функция для класса вычислимых одноместных функций, то существует для произвольной вычислимой одноместной функции h:
По любой вычислимой функции можно указать:
Вычислимая функция двух аргументов, являющаяся универсальной функцией для класса вычислимых функций одного аргумента:
График любой функции, вычислимой программой с конечным числом переменных:
Область определения универсальной функции будет:
Нумерация, соответствующая главной универсальной функции называется:
Определению главной универсальной функции адекватно утверждение: