Изменения
→Пример неглавной вычислимой нумерации
}}
Также мы можем заключить, что нигде не определённая функция имеет бесконечно много номеров в любой главной нумерации
(поскольку множество номеров нигде не определённой функции неразрешимо, а любое конечное множество разрешимо). А также отметим, что множество номеров нигде не
определённой функции не только не разрешимо, но и не перечислимо. Его дополнение <tex>-</tex> множество всех номеров всех
функций с непустой областью определения — перечислимо (При вычислении <tex>U(n,x)</tex> для всех <tex>n, x</tex> мы можем печатать те <tex>n</tex>, для которых нашло <tex>x</tex> такое, что <tex>U(n,x)</tex> определено). А если дополнение неразрешимого множества перечислимо, то само множество неперечислимо.
