Изменения
Нет описания правки
{{Определение
|definition = Множество <tex>A</tex> называется '''имуннымиммунным''', если <tex>A</tex> - бесконечное, для любого бесконечного перечислимого <tex>B</tex>, <tex>B \not \subset A</tex>.
}}
{{Определение
|definition = Множество <tex>A</tex> называется '''простым''', если <tex>A</tex> - перечислимое, бесконечное, и дополнение <tex>A</tex> - имунноиммунно.
}}
Напишем следующую программу <tex>q</tex>:
<tex>q</tex>:
for <tex>(TL = 1\ \ldots +\infty)</tex>
for <tex>(i = 1\ \ldots TL)</tex>
* для любого перечислимого множества <tex>B</tex>, существует его элемент принадлежащий <tex>E(q)</tex>, и следовательно не принадлежащий <tex>\overline{E(q)}</tex>, <tex>\overline{E(q)} \not \subset A</tex>
Таким образом <tex>\overline{E(q)}</tex> --- имунноиммунно, а <tex>E(q)</tex> --- простое.
}}
