The development of formal logic, together with concerns that mathematics
had not been built on a proper foundation. led to the development of axiom
systems for fundamen1al areas of mathematics such as arithmetic. analysis, and
geometry.
In logic, the term "arithmetic" refers to the theory of the natural numbers.
Giuseppe Peano ( 1888) published a set of axioms for arithmetic that came to
bear his name, using a variation of the logical system of Boole and Schroder but