Definition:One (Ordinal)

Definition
The ordinal $1$ is defined as:
 * $1 = 0^+$

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