
Touche la carte pour la faire tourner.
Épique
Axiomatisation de la théorie des ensembles
1/1Un exemplaire au monde.
En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu’elle avait été développée dans le dernier quart du XIXe siècle par Georg Cantor. L’axiomatisation a été élaborée au début du XXe siècle par plusieurs mathématiciens dont Ernst Zermelo et Abraham Fraenkel mais aussi Thoralf Skolem.
Illustration
Texte
Résumé et adapté de l’article « Théorie des ensembles de Zermelo-Fraenkel », Wikipédia en français. Licence CC BY-SA 4.0.
Aura : statistiques de consultation de l’API Wikimedia.