 A more satisfactorily economical basis for elementary arithmetic is provided either by one of the standard formulations of first-order arithmetic employing primitive notations special to arithmetic and special arithmetic postulates, or by a weak set theory which is adequate for the treatments of finite sets but omits all the standard set-theoretic axioms that are not needed for this purpose (including the axiom of infinity). (1962b [BE: 611])