Definition:Two (Ordinal)

From ProofWiki
Jump to navigation Jump to search

Definition

The ordinal $2$ is defined as:

$2 = 1^+$

where $1^+$ denotes the successor of the ordinal $1$.