chapter  11
37 Pages

Unprovability of Consistency

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 .