Der Wohlordnungssatz, manchmal auch Wohlordnungsprinzip genannt, ist eine Aussage der Mengenlehre und besagt:
Jede Menge kann wohlgeordnet werden.Dieses Theorem erlaubt die Anwendung der transfiniten Induktion auf jeder Menge.
Der Wohlordnungssatz ist äquivalent zum Auswahlaxiom.
Georg Cantor, der Begründer der Mengenlehre, hielt den Wohlordnungssatz für ein „grundlegendes Denkgesetz“. Vielen ...
