Изменения

Можно переформулировать теорему следующим образом: невозможно доказать, что <tex> p(x) = \perp </tex>.

<code>

p(x):

</code>

}}

== Теорема о неподвижной точке ==

Зафиксируем [[Главные нумерации | главную нумерацию]] <tex> W </tex>. Обозначим за <tex> W_n </tex> множество слов, допускаемых программой с номером <tex> n </tex>.