Изменения

</tex> {{---}} программа, разрешающая универсальное множество. Получили противоречие.

}}

[[Категория: Теория вычислимости]]

[[Категория: Теория формальных языков]]