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

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

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

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

Если U(n,x) - главная вычислимая универсальная функция для класса всех вычислимых одноместных функций, то тогда:

Функция U(n,m), - универсальна для класса вычислимых функций одного аргумента, если для каждого n:

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

Если U -двухместная главная универсальная функция для класса вычислимых функций одного аргумента, то для всех p, q, x:

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

Композиция двух вычислимых функций является:

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