choix (axiome de)

Cet article est extrait de l'ouvrage Larousse « Dictionnaire de la philosophie ».

Logique

Axiome de la théorie des ensembles selon lequel si A est un ensemble disjoint (sans aucun élément commun avec un autre ensemble) composé de sous-ensembles dont aucun n'est vide, alors il existe un ensemble qui regroupe exactement un élément de chaque sous-ensemble. Cet axiome permet de montrer que tout ensemble peut être bien ordonné.

Michel Blay