Français
L'« axiome du choix simple » est le principe selon lequel on peut choisir un élément dans tout ensemble non vide. Cet « autre axiome du choix » a une histoire paradoxale et riche, dont la première partie de cet article recherche les traces et repère les enjeux. Apparaissent comme décisifs le statut de la théorie des ensembles dans les mathématiques intuitionnistes, mais aussi la tension croissante entre technicisation de la logique et réflexion épistémologique des mathématiciens. La deuxième partie procède à un examen détaillé des positions prises dans ce débat par deux mathématiciens considérables qui ne craignaient pas la métaphysique : Arnaud Denjoy et Paul Lévy.
Axiome du choix, intuitionnisme, principe du tiers exclu, topos, Arnaud Denjoy, Paul Lévy.