Бесконечное разрешимое подмножество бесконечного перечислимого множества

Материал из DISCOPAL
Перейти к: навигация, поиск

Доказать, что в любом бесконечном перечислимом множестве можно выделить бесконечное разрешимое подмножество.