Axiome du choix
axiome selon lequel le produit d'une famille d'ensembles non vides est non vide
Axiome du choix
En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui « affirme la possibilité de construire des ensembles en répétant une infinité de fois une action de choix, même non spécifiée explicitement ». Giuseppe Peano en donne le premier énoncé explicite en 1890 dans Démonstration de l'intégrabilité des équations différentielles ordinaires, quatorze ans avant qu'Ernst Zermelo ne l'énonce pour la démonstration du théorème de Zermelo. L'axiome du choix peut être accepté ou rejeté, selon la théorie axiomatique des ensembles choisie.
Lire sur Wikipédia · Image Fschwarzentruber, CC BY-SA 4.0
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement