Die Aussage, dass jede Menge mit einer Wohlordnung versehen werden kann — einer Totalordnung, in der jede nichtleere Teilmenge ein kleinstes Element besitzt. In der Mengenlehre ist dies (über ZF) äquivalent zum Auswahlaxiom.

Prinzip

Totalisierung der Wahl: Jede Kollektion lässt sich so anordnen, dass es für jede Teilmenge ein erstes Element gibt, wodurch beliebige Mengen in wohlgeordnete Bereiche verwandelt werden und transfinites Induktions- und Rekursionsverfahren anwendbar werden.

Demonstration

Abstraktes Beispiel: Der Satz garantiert die Existenz einer Wohlordnung der reellen Zahlen, obwohl keine explizite, sinnvolle Beschreibung in den gewöhnlichen Begriffen existiert. In der Ordinaltheorie erlaubt er, jede Menge mit einem Ordinal zu identifizieren und ihre Elemente durch Ordinale für transfinite Konstruktionen zu indexieren.

Fehlanwendung

Darauf zu schließen, dass die übliche Ordnung einer vertrauten Menge (etwa die übliche Ordnung der R) eine Wohlordnung sei — der Satz garantiert die Existenz einer gewissen Wohlordnung, nicht die Erhaltung bestehender Ordnungen. Auch die Annahme, die Wohlordnung sei konstruktiv darstellbar, ist ein Fehlgebrauch.

Konsequenz

Ermöglicht transfinite Induktion, Rekursion und die Verwendung von Ordinalindizes für beliebige Mengen. Er ist äquivalent zum Auswahlaxiom, daher bringt seine Annahme Auswahlfolgen und nichtkonstruktive Existenzbehauptungen mit sich.

Umkehrung

Die Negation würde die Existenz einer Menge bedeuten, die nicht wohlgeordnet werden kann; in Modellen von ZF ohne Wahl können solche Mengen existieren. Im Gegensatz zu Zornschem Lemma, das maximale Elemente unter Kettenbeschränkung sichert, liefert der Wohlordnungssatz eine Totalordnung mit kleinsten Elementen für jede Teilmenge.

Abgrenzung

Geltungsbereich ist die Mengenlehre: Der Satz garantiert irgendeine Wohlordnungsrelation auf jeder Menge, sagt jedoch nichts über Verträglichkeit mit vorhandenen algebraischen, topologischen oder metrischen Strukturen. Es handelt sich um eine globale Existenzaussage, die von den zugrundeliegenden Axiomen abhängt (in ZF äquivalent zur Wahl).

Semantische Spannung

Spannung gegenüber Intuition und Konstruktivität: Die Existenz einer Wohlordnung für große oder vertraute Mengen (wie die Reellen) widerspricht konstruktiven Erwartungen und ist in der Regel nicht explizit darstellbar. Spannungen bestehen auch mit struktur- oder ordnungserhaltenden Anforderungen.

Synthese

Der Wohlordnungssatz besagt, dass jede Menge eine Totalordnung besitzt, die sie wohlordnet; dies ist ein abstraktes Existenzprinzip, das transfinite Methoden ermöglicht, jedoch meist nicht konstruktiv ist und dem Auswahlaxiom entspricht.