Погружение в теорию множеств: Разрешимые и перечислимые множества