Een korte bewijsvoering van Cantor–Bernstein–Schröder:

Gegeven elk jaar in de algemeen gebruikte Gregoriaanse kalender, • de laatste dag van februari, • 4 april (4/4), • 6 juni (6/6), • 8 augustus (8/8), • 10 oktober (10/10), • 12 december (12/12) vallen allemaal op dezelfde dag van de week. Voor 2025 is deze zogenaamde Doomsday vrijdag.

Een verzameling X wordt amorf genoemd als X oneindig is en telkens wanneer X = Y ⊔ Z, is ofwel Y ofwel Z eindig. Stelling. ZF heeft modellen waarin er amorfe verzamelingen zijn.