Set-theoretic definition of natural numbers

A set-theoretic definition of the natural numbers was proposed by John von Neumann.

Neumann proposed the following definition:

1. Define the empty set to be zero.
2. Define the successor of n as n ∪ {n}

See Peano arithmetic.

References

• What are the Natural Numbers? (Post Script file), Gary McGuire