O9:    Elementary Arithmetic, Natural Numbers, Integers, Rational Numbers

"We now show how the computational rules of elementary arithmetic work out as consequences of our assumptions."  (see ita-2-2-15-pg21)

The Natural Numbers

The Ordering of the Natural Numbers

Addition of Natural Numbers

Multiplication of Natural Numbers

The Integers

The Ordering of the Integers

The Rational Numbers

Any Number of Numbers Have a Unique Sum (and Product)

Converted [ in part ] by Mathematica      December 4, 2007