Изменения

|proof=Для начала зафиксируем вычислимую нумерацию пар (взаимно однозначное соответствие <tex>\langle u, v \rangle \leftrightarrow [u, v]</tex> между <tex> N \times N </tex> и <tex>N</tex>; число <tex>[u, v]</tex> назовем номером этой пары. Возьмем некоторую функцию <tex>V([p,q],x)=U(p, U(q,x))</tex>. Исходя из определения главной нумерации существует такая вычислимая, всюду определенная функция <tex>S: V(n,x)=U(s(n),x)</tex> для всех <tex>n</tex> и <tex>x</tex>. А тогда <tex>V([p,q],x)=U(S[p,q], x)</tex>, что значит функция с, определяемая как <tex>c(p,q)=S([p,q])</tex>, будет искомой.

}}

== Литература ==