O mulțime X se numește amorfă dacă X este infinit și ori de câte ori X = Y ⊔ Z, fie Y, fie Z este finit. Teoremă. ZF are modele în care există seturi amorfe.
26,93K