Изменения
→Теорема Успенского-Райса
Поскольку <tex>A</tex> непусто, то найдётся перечислимый язык <tex>X \in A</tex>. Пусть <tex>p_X</tex> {{---}} полуразрешитель <tex>X</tex>.
<tex>U(i,x)</tex> '''return''' <tex>i(x)</tex>
<tex>g_{i,x}(y):</tex>
'''if''' <tex>U(i, x)</tex> == 1 <font color=green> // если i, на входе x выдает 1. </font>
