Область определения универсальной функции будет:

Определению главной универсальной функции адекватно утверждение:

Нумерация, соответствующая главной универсальной функции называется:

Для перечисляемых образцов и вычислимой универсальной функции, множество номеров всех функций, продолжающих хоть один образец:

Вычислимая функция двух аргументов, являющаяся универсальной функцией для класса вычислимых функций одного аргумента:

Для - всюду определенной функции, -вычислимая функция двух аргументов являющаяся универсальной:

Процедура замены вычислимых функции на функции, вычислимые относительно всюду определенной функции называется:

Если функция f дает по номеру m функции другой номер s этой функции, то:

Множество номеров нигде не определенной функции:

По любой вычислимой функции можно указать:

Вычислимые универсальные функции, не являющиеся главными: