Короткий доказ Кантора-Бернштейна-Шредера:

Дано будь-який рік у загальновживаному григоріанському календарі, • останній день лютого, • 4 квітня (4/4), • 6 червня (6/6), • 8 серпня (8/8), • 10 жовтня (10/10), • 12 грудня (12/12) Всі вони відбуваються в один і той же день тижня. Для 2025 року це так званий Судний день – п'ятниця.

Множина X називається аморфною, якщо X нескінченна і коли X = Y ⊔ Z, або Y, або Z є скінченними. Теорема. У ZF є моделі, в яких є аморфні набори.