Krátký důkaz Cantor–Bernstein–Schröder:

Udává se libovolný rok v běžně používaném gregoriánském kalendáři, • poslední únorový den, • 4. dubna (4/4), • 6. června (6/6), • 8. srpna (8/8), • 10. října (10. 10.), • 12. prosince (12/12) Všechny se vyskytují ve stejný den v týdnu. Pro rok 2025 je tímto takzvaným soudným dnem pátek.

Množina X se nazývá amorfní, pokud X je nekonečná a kdykoli X = Y ⊔ Z, buď Y nebo Z je konečné. Věta. ZF má modely, ve kterých existují amorfní množiny.