Изменения

1я и 2я теоремы Геделя о неполноте арифметики

22 байта добавлено, 18:21, 5 января 2017

Нет описания правки

<code>

'''foreach''' <tex>q </tex> <tex> \in ~ \Sigma^* </tex> '''if''' <tex>q </tex> proves "<tex>p(x)</tex> зависает"

'''exit'''

</code>

313

правок