Induction principle valid for every ordinal: if P(β) for all β < α implies P(α), then P holds for every ordinal. Derived from the foundation axiom applied to the well-ordered class Ord. Splits into three cases: zero, successor, and limit.
Induction principle valid for every ordinal: if P(β) for all β < α implies P(α), then P holds for every ordinal. Derived from the foundation axiom applied to the well-ordered class Ord. Splits into three cases: zero, successor, and limit.