Изменения

== Неразрешимость универсального языка ==

{{Утверждение

|id=proposalU.

Если же <tex> u(p, x) = 0 </tex>, то мы пойдём во вторую ветку условного оператора и вернём <tex> 1 </tex>, значит, пара <tex> <p, x> </tex> принадлежит универсальному языку, но <tex> u(p, x) = 0 </tex>, значит, пара не принадлежит. Опять получили противоречие.

}}

== Теорема Успенского-Райса ==

<tex> A </tex> {{---}} разрешимое семейство языков.