ABSTRACT
In Chapter 2, it was shown that the additive fragment of arithmetic with order is consistent; in doing so a certain part of arithmetic itself was em ployed which made use of induction and recursion. In any case, not more of arithmetic was used than is expressed in the axioms and schemata of P A .