Множина X називається аморфною, якщо X нескінченна і коли X = Y ⊔ Z, або Y, або Z є скінченними. Теорема. У ZF є моделі, в яких є аморфні набори.