Mathématiques, informatique, politique et poésie
Soit \(E\) un ensemble ordonné. Si tout Sous
-ensemble totalement ordonné possède un majorant, alors \(E\) possède un élément maximal.La démonstration dépend de l'Axiome du choix, auquel il est en fait équivalent.