Transfinite Induction/Schema 1

Theorem
Let $P \left({x}\right)$ be a property

Suppose that:
 * If $P \left({x}\right)$ holds for all ordinals $x$ less than $y$, then $P \left({y}\right)$ also holds.

Then $P \left({x}\right)$ holds for all ordinals $x$.