En mängd X kallas amorf om X är oändlig och när X = Y ⊔ Z, är antingen Y eller Z ändlig. Teorem. ZF har modeller där det finns amorfa mängder.
26,94K