axiomatique de Zermelo-Fraenkel

FONDEMENTS DES MATHEMATIQUES

Notion de théorie axiomatique des ensembles. L’énoncé suivant peut être pris comme théorème ou comme axiome car il est équivalent à l’axiome du choix. « Tout ensemble peut être bien ordonné. »