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