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