Um conjunto X é chamado amorfo se X é infinito e sempre que X = Y ⊔ Z, Y ou Z é finito. Teorema. A ZF possui modelos nos quais existem conjuntos amorfos.