Un ensemble X est appelé amorphe si X est infini et chaque fois que X = Y ⊔ Z, soit Y soit Z est fini. Théorème. ZF a des modèles dans lesquels il existe des ensembles amorphes.
26,94K