Изменения
Нет описания правки
{{Определение
|definition = Множество A называется '''простым''', если A - перечислимое, бесконечное , и дополнение A - имунно.
}}
|statement=Существует простое множество.
|proof=
Рассмотрим все программы в порядке нумерации, каждая из них задает некоторый перечислимый язык, причем каждому перечислимому языку соответствует какая-то программа- его перечислитель.
Напишем следующую программу q:
q:
for <tex>(TL = 1 .. <tex>\ \ldots +\infty)</tex>) for <tex>(i = 1 .. \ \ldots TL)</tex> запустить <tex>i</tex>-ую в [[Главные нумерации|главной нумерации]] программу на <tex>TL </tex> шагов (U - универсальная программа) напечатать первый <tex>x</tex>, который вывела эта программа, такой что <tex>x \geqslant 2 i</tex>, который вывела эта программа
