Un conjunto X se llama amorfo si X es infinito y siempre que X = Y ⊔ Z, ya sea Y o Z es finito. Teorema. ZF tiene modelos en los que hay conjuntos amorfos.