En mengde X kalles amorf hvis X er uendelig og når X = Y ⊔ Z, er enten Y eller Z endelig. Teorem. ZF har modeller der det er amorfe sett.
26,9K