ABSTRACT

This chapter presents an -exposition of the more usual method, and then proceed to definitions and proofs of what are usually taken as indefinables and indemonstrables. Peano’s exposition in the Formulaire, which is the best from the point of view of accuracy and rigour. This exposition has the inestimable merit of showing that all Arithmetic can be developed from three fundamental notions and five fundamental propositions concerning these notions. Redundancy is not a logical error, but merely a defect of what may be called style. For the comprehension of the connection between Mathematics and Logic, this point is of very great importance, and similar points will occur constantly throughout the present work.