ABSTRACT
II.1 The fact that S+ is both sound and complete shows that the first-order truths involving only the concepts natural number and less than can be ‘axiomatized’: they can be shown all to follow logically from a small finite set of such truths-and indeed follow logically by means of inferences involving only the devices of first-order predicate logic.
