# Successor of Ordinal Smaller than Limit Ordinal is also Smaller/Proof 1

Jump to navigation
Jump to search

## Theorem

Let $\On$ denote the class of all ordinals.

Let $\lambda \in \On$ be a limit ordinal.

Then:

- $\forall \alpha \in \On: \alpha < \lambda \implies \alpha^+ < \lambda$

## Proof

Let $\lambda$ be a limit ordinal such that $\alpha < \lambda$.

From Successor of Element of Ordinal is Subset

Then as $\alpha^+$ is the successor set of $\alpha$ it follows that:

- $\alpha^+ \le \lambda$

This article, or a section of it, needs explaining.In particular: Find the result that says $\alpha < \beta \implies \alpha^+ \le \beta$You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

But as $\lambda$ is not a successor ordinal:

- $\alpha^+ \ne \lambda$

Hence:

- $\alpha^+ < \lambda$

$\blacksquare$

## Sources

- 2010: Raymond M. Smullyan and Melvin Fitting:
*Set Theory and the Continuum Problem*(revised ed.) ... (previous) ... (next): Chapter $5$: Ordinal Numbers: $\S 1$ Ordinal numbers: Theorem $1.19$