axiome du choix

Français

Étymologie

Composé de axiome, du et choix.

Locution nominale

Singulier	Pluriel
axiome du choix	axiomes du choix
\Prononciation ?\

axiome du choix \Prononciation ?\ masculin

Pour tout ensemble d'ensembles non vides (les jarres), il existe une fonction qui associe à chacun de ces ensembles (ces jarres) un élément contenu dans cet ensemble (cette jarre).

1. (Mathématiques) Axiome de la théorie des ensembles postulant la possibilité de répéter une opération de choix une infinité de fois.
   • Suivant le même schéma, l’axiome du choix, outre les multiples conséquences directes qu’il apporte, s'est souvent révélé à l'origine de développements indirects non anticipés, mais qui n'auraient peut-être pas existé sans lui. — (Patrick Dehornoy, La Théorie des Ensembles, C&M, 2017, page 616)

Traductions

• Allemand : Auswahlaxiom (de) neutre
• Anglais : axiom of choice (en)
• Russe : аксиома выбора (ru) féminin

Voir aussi

axiome du choix sur l’encyclopédie Wikipédia