Существование биимунных множеств.

[rkrkrk]

Здравствуйте!
Подскажите, пожалуйста, почему существуют бииммунные множества или где об этом можно прочитать.

бииммунное множество - это такое подмножество натуральных чисел, что оно само, и его дополнение являются иммунными.
Иммунное множество - это такое бесконечное множество, которое не содержит в себе бесконечных перечислимых подмножеств.

[Xaositect]

В Odifreddi, Classical recursion theory это упражнение III.2.22, и там есть подсказка (перевод мой):

Odifreddi, Classical Recursion Theory писал(а):

Перечислите множество пар $(x_n, y_n)$ таких, что $x_n$ и $y_n$ - различные элементы $n$-го бесконечного р.п. множества, не встречавшиеся в предыдущих парах. Любое множество, содержащее по одному элементу из каждой пары, биимунно

UPD. Раньше тут еще была написана нерелевантная фигня.

[rkrkrk]

Спасибо