ABSTRACT
VIII.1 The search for a reasonable axiomatization of the first-order truths involving only the concepts natural number, less than, sum of, product of and power of raised, or was recast as, the question whether there is a reasonable set of grounded forms that is both sound and complete. The only natural candidate that has been proposed is Peano’s Arithmetic P. But, as foretokened in II.4, despite appearances, it does not fill the bill: although sound-or so we assume-it is not complete. This we now prove.
