Математическая логика

Реурсивную биекцию ? ? ? называют рекурсивной подстановкой. Множества натуральных чисел X и Y называют изоморфными (X ? Y), если существует рекурсивная подстановка, отображающая X на Y. Показать, что если X ? Y и мн-во X рекурсивно перечислимо, то и Y – рекурсивно перечислимо. Задача из учебника Мендельсона Глава 5, параграф 3.