(idea) by hodgepodge Wed May 10 2000 at 14:21:14
These 5 axioms define the set of natural numbers:

  1. Zero is a natural number.
  2. Every natural number n has a successor S(n), and the successor of any natural number is a natural number.
  3. No two numbers have the same successor.
  4. Zero is not the successor of any natural number.
  5. For any property P, if zero has P and also the successor of any number that has P has P, then every number has P.

I like it! This writeup has been cooled by:  
creasesX 1 C!

Log in or register to write something here or to contact authors.