Именно подсказки дать могу. Но не решить задачу за вас. Это задача на "творческое" доказательство. Обычно, в справочниках исходное положение постулируется аксиоматически, но можно попытаться его доказать.
- Копать в сторону аксиом теории множества: аксиомы пустого множества, аксиомы булеана, аксиомы регулярности, аксиомы пары. Аксиому выбора лучше не трогать. Внимательно читаем формулировку аксиом.
- Внимательно (!) смотрим на мощность множества. Потом берем чаю и ещё раз внимательно смотрим на мощность множества. Думаем, что нам это напоминает и в каком контексте.
- В качестве примера можно посмотреть способы конструктивного определения натуральных чисел через ординалы фон Неймана и ординалы Цермело.
- Поиграть с отображениями пустого множества в непустые, непустых в пустое и пустого в пустое. Комбинаторика — это такая "вишенка на торте".
Я так понимаю, что предполагается самостоятельное творческое решение.
Во всяком случае, я бы "рыл" куда-то туда, в ту сторону.