Una breve dimostrazione del teorema di Cantor–Bernstein–Schröder:

Data qualsiasi anno nel comunemente usato calendario gregoriano, • l'ultimo giorno di febbraio, • 4 aprile (4/4), • 6 giugno (6/6), • 8 agosto (8/8), • 10 ottobre (10/10), • 12 dicembre (12/12) si verificano tutti lo stesso giorno della settimana. Per il 2025 questo cosiddetto giorno del giudizio è venerdì.

Un insieme X è chiamato amorfo se X è infinito e ogni volta che X = Y ⊔ Z, o Y o Z è finito. Teorema. ZF ha modelli in cui ci sono insiemi amorfi.