axiomatique de Zermelo-Fraenkel

axiomes de Zermelo
théorie ZF
axiomes de Zermelo-Fraenkel
théorème de Zermelo-Fraenkel
théorie de Zermelo-Fraenkel
théorie des ensembles 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é. »