# Rank is Ordinal

Jump to navigation
Jump to search

## Theorem

Let $S$ be a small class

The rank of $S$ is an ordinal.

## Proof

*This page is beyond the scope of ZFC, and should not be used in anything other than the theory in which it resides.*

*If you see any proofs that link to this page, please insert this template at the top.*

*If you believe that the contents of this page can be reworked to allow ZFC, then you can discuss it at the talk page.*

The rank of $S$ is an intersection of a set of ordinals $B$.

$B$ is nonempty by the fact that Every Set in Von Neumann Universe.

Thus, $B$ has a minimal element, which is the rank of $S$ plus $1$.

Therefore, the rank is itself an ordinal.

$\blacksquare$

## Sources

- 1971: Gaisi Takeuti and Wilson M. Zaring:
*Introduction to Axiomatic Set Theory*: $\S 9.15(1)$