Изменения

Русский язык местами оставляет желать лучшего, но вот первое предложение доказательства второй формулировки меня убило.

"Так как <tex>U</tex> - универсальная, то найдется для любой вычислимой всюду определенной <tex>n</tex> найдется такая вычислимая всюду определенная <tex>num</tex>, что <tex>n=U_{num(n)}</tex>". Сам-то понял, что сказал? [[Участник:Berezhkovskaya|Алёна Бережковская]]