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 iff one of the following holds:

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

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