Théorème de Zermelo

Cet article est une ébauche à compléter, vous pouvez partager vos connaissances en le modifiant.

Le théorème de Zermelo, appelé aussi théorème du bon ordre est un résultat de théorie des ensembles qui affirme :

Tout ensemble peut être muni d'une structure de bon ordre.

Ce théorème est équivalent au lemme de Zorn, et donc à l'axiome du choix.

See also: Théorème de Zermelo, Axiome du choix, Ensemble bien ordonné, Lemme de Zorn, Théorie axiomatique des ensembles