| |
| | Good Math, Bad Math : Categorical Numbers |
 | | To sum up: Peano arithmetic is based on a definition of the natural numbers in terms of five fundamental properties, called the Peano axioms, built on "0", a successor function, and induction. |
 | | The result returned by successor is also a number, all numbers have a unique successor, and no number has 0 as a successor. |
 | | What the peano axioms do is define a sequence of "objects", each of which has exactly one "successor", etc. If you look at, for example, the definition of addition, it never says "add one" to anything; it's defined in terms of *successor*. |
| scienceblogs.com /goodmath/2006/08/categorical_numbers.php (1704 words) |
|