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

График любой функции, вычислимой программой с конечным числом переменных:

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

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

Множеством, перечислимым относительно всюду определенной вычислимой функции f является множество:

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

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

Если нумерация является вычислимой, то последовательность

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

Утверждение "Любой алгоритм, перечисляющий множество формул арифметики порождает некоторую ложную формулу, либо не порождает некоторой истинной формулы" - это:

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