text: # axiome du choix
  
  ## Français
  
  ### Étymologie
  
      Composé de axiome, du et choix.
  
  ### Locution nominale
  
  axiome du choix masculin
  
  * (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
  