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