Théorie des ensembles de Zermelo
De Wikipedia, l'encyclopédie encyclopedia
La théorie des ensembles de Zermelo, est la théorie des ensembles introduite en 1908 par Ernst Zermelo dans un article fondateur de l'axiomatisation de la théorie des ensembles moderne, mais aussi une présentation moderne de celle-ci, où les axiomes sont repris dans le langage de la logique du premier ordre, et où l'axiome de l'infini est modifié pour permettre la construction des entiers naturels de von Neumann.
Certaines informations figurant dans cet article ou cette section devraient être mieux reliées aux sources mentionnées dans les sections « Bibliographie », « Sources » ou « Liens externes » ().
Vous pouvez améliorer la vérifiabilité en associant ces informations à des références à l'aide d'appels de notes.