Изменения
→Теорема о рекурсии
{{Теорема
|id=th2
|about=о рекурсиинеподвижной точке, Клини
|statement= Пусть <tex>U</tex> {{---}} [[Диагональный_метод|универсальная функция]], <tex>h</tex> {{---}} всюду определённая [[Вычислимые_функции|вычислимая функция]]. Тогда найдется такое <tex>n</tex>, что <tex>U_n=U_{h(n)}</tex>.
|proof=
