Axiome du choix

 

L'axiome du choix, énoncé pour la première fois par Peano en 1890, affirme que l'on a tout à fait le droit de se pendre avec ses bretelles, que ce n'est l'affaire de personne d'autre que soi-même. Cet axiome implique à la fois le théorème de Zermelo et le lemme de Zorn.

 

(Gilbert Garistre, Aveux et anatropes)