Bukti singkat dari Cantor–Bernstein–Schröder:

Mengingat setiap tahun dalam kalender Gregorian yang umum digunakan, • hari terakhir bulan Februari, • 4 April (4/4), • 6 Juni (6/6), • 8 Agustus (8/8), • 10 Oktober (10/10), • 12 Desember (12/12) semuanya terjadi pada hari yang sama dalam seminggu. Untuk tahun 2025 yang disebut Kiamat ini adalah hari Jumat.

Himpunan X disebut amorf jika X tak terbatas dan setiap kali X = Y ⊔ Z, baik Y atau Z terbatas. Teorema. ZF memiliki model di mana ada set amorf.