Most recent change of NaturalNumber

Edit made on October 27, 2008 by ColinWright at 18:47:02

Deleted text in red / Inserted text in green

WW
HEADERS_END
A "Naturla "Natural Number" is one of the "counting numbers". Some people think 0 is
a natural number, some people don't, and it's always worth being specific.

You can use the natural numbers to formally construct the integers.