Eine Erweiterung der mathematischen Induktion auf wohlgeordnete Mengen, die durch Ordinzahlen indiziert sind: Um eine Eigenschaft P(α) für alle Ordinzahlen α zu beweisen, zeigt man P(0), beweist für jeden Nachfolger β+1, dass P(β) ⇒ P(β+1), und zeigt für jedes Limitordinal λ, dass (∀γ<λ) P(γ) ⇒ P(λ).

Prinzip

Die Wohlordnung erlaubt eine dreiteilige Induktion: Basis (Null), Nachfolgeschritt und Limitstufe; Abschließung unter diesen Schritten propagiert die Eigenschaft auf alle Ordinzahlen via transfinite Rekursion bzw. Induktion.

Demonstration

Der Aufbau der von-Neumann-Kumulativhierarchie V_α oder der Beweis, dass jede Ordinzahl entweder 0, ein Nachfolger oder ein Limit ist, nutzt transfinite Induktion: in einer Limitstufe folgt die Eigenschaft aus ihrer Gültigkeit für alle früheren Stufen, wodurch Konstruktionen und Beweise über alle Ordinzahlen hinweg möglich werden.

Fehlanwendung

Das Vernachlässigen der Limitstufe (nur Null- und Nachfolgeschritte zu behandeln) macht Beweise an Limitordinalen ungültig; die Anwendung transitiver Induktion auf nicht wohlor-dnete Relationen zerstört das Argument und kann zu falschen Ergebnissen führen.

Konsequenz

Transfinite Induktion und Rekursion ermöglichen Definitionen und Beweise über beliebig große wohlor-dnete Indexmengen und bilden die Grundlage ordinaler und kardinaler Konstruktionen, rekursiver Definitionen auf Klassen und vieler Argumente in Mengenlehre und Logik.

Umkehrung

Auf nicht wohlfundierten Ordnungen steht transfinite Induktion nicht zur Verfügung; alternativ behandelt die Noethersche Induktion Wohlfundiertheit aus der entgegengesetzten Endlichkeits-Perspektive, und die gewöhnliche Induktion ist der Spezialfall für endliche Indices.

Abgrenzung

Voraussetzung ist ein wohlor-dnetes Gebiet (Ordinzahlen oder eine andere wohlor-dnete Klasse); beim Arbeiten mit echten Klassen oder in schwachen Mengentheorien sind fundamentale Grenzen (Replacement, Klassenrekursion) zu beachten; sie gilt nicht für partiell geordnete Mengen ohne Wohlordnung.

Semantische Spannung

Transfinite Induktion wird oft als direkte Verallgemeinerung der Induktion über natürliche Zahlen betrachtet, unterscheidet sich aber wesentlich durch die notwendige separate Limitstufe; die Verwechslung kann wesentliche ordinale Phänomene verbergen.

Synthese

Transfinite Induktion verallgemeinert das induktive Paradigma auf Ordinzahlen durch Kombination aus Basis-, Nachfolger- und Limitüberprüfungen, um eine Eigenschaft durch jede wohlgeordnete Stufe zu propagieren und so Definitionen und Beweise jenseits endlicher Indices zu ermöglichen.