Krótki dowód Cantora–Bernsteina–Schrödera:

Biorąc pod uwagę dowolny rok w powszechnie używanym kalendarzu gregoriańskim, • ostatni dzień lutego, • 4 kwietnia (4/4), • 6 czerwca (6/6), • 8 sierpnia (8/8), • 10 października (10/10), • 12 grudnia (12/12) wszystkie przypadają w ten sam dzień tygodnia. W 2025 roku tak zwany Dzień Sądu przypada na piątek.

Zbiór X nazywa się amorficzny, jeśli X jest nieskończony i za każdym razem, gdy X = Y ⊔ Z, albo Y, albo Z jest skończony. Twierdzenie. ZF ma modele, w których istnieją zbiory amorficzne.