Axiome de l'ensemble vide

L'axiome de l'ensemble vide énonce qu'il existe un ensemble ne possédant pas d'éléments. Dans les présentations modernes, il ne fait pas partie des axiomes de la théories des ensembles de Zermelo, ou Zermelo-Fraenkel, car, dans un univers ensembliste non vide, il est conséquence du schéma d'axiomes de compréhension. Mais il peut être utile pour certaines théories des ensemble très faibles.


From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne