Mathématiques, informatique, politique et poésie
Le théorème du bon ordre, ou théorème de Zermelo, affirme que tout ensemble possède un bon ordre. La démonstration dépend de l'axiome du choix, auquel il est en fait équivalent.
