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.
26,95K