Science Fair Project Encyclopedia
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:
- Define the empty set to be zero.
- Define the successor of n as n ∪ {n}
See Peano arithmetic.
References
- What are the Natural Numbers? (Post Script file), Gary McGuire
Last updated: 08-22-2005 19:06:30
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details