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