Изменения
→Пример использования
Можно переформулировать теорему следующим образом: невозможно доказать, что <tex> p(x) = \perp </tex>.
<code>
p(x):
</code>
}}
== Теорема о неподвижной точке ==
Зафиксируем [[Главные нумерации | главную нумерацию ]] <tex> W </tex>. Обозначим за <tex> W_n </tex> множество слов, допускаемых программой с номером <tex> n </tex>.
{{Утверждение
|id=идентификатор (необязательно), пример: proposalF.
<code>
p(q):
'''if''' p .getSrc() == q // сравниваем как строки; так можно сделать, потому что программа знает свой код по теореме о рекурсии.getSrc() print number(p)'''return''' 1
'''else'''
'''while''' ''true''
