*Consider this a prelimenary draft. I thought this article is called for, but I do not see myself an authority on the subject. -- yish *

John von Neumann proposed the folowing definition:

- Define the empty set to be zero.
- Define the successor of
*n*as*n ∪ {n}*

- [What are the Natural Numbers?], Gary McGuire