Category:Finite Ordinals

From ProofWiki
Jump to navigation Jump to search

This category contains results about Finite Ordinals.

Let $\alpha$ be an ordinal.

Then $\alpha$ is said to be finite if and only if one of the following holds:

$\alpha = \O$
$\alpha = \beta^+$ for some finite ordinal $\beta$

where $\O$ denotes the empty set, and $\beta^+$ is the successor ordinal of $\beta$.