Definition:Finite Ordinal

From ProofWiki
Jump to: navigation, search


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$.

Also known as

In many sources oriented towards set theory, finite ordinals are referred to as natural numbers.

The relation with the natural numbers arises from the multiple definitions of minimal infinite successor set $\omega$, combined with the definition of $\N$ as $\omega$.

However, in an effort to keep separated the familiar properties of $\N$ and those of finite ordinals, $\mathsf{Pr} \infty \mathsf{fWiki}$ does not identify these intuitively distinct concepts.

Also see

  • Results about finite ordinals can be found here.