Eine Menge X wird als amorph bezeichnet, wenn X unendlich ist und immer wenn X = Y ⊔ Z, entweder Y oder Z endlich ist. Satz. ZF hat Modelle, in denen es amorphe Mengen gibt.