Definition:One (Ordinal)

From ProofWiki
Jump to navigation Jump to search

Definition

The ordinal $1$ is defined as:

$1 = 0^+$

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


Also see

  • Results about the number $1$ can be found here.