The Latin treatise that recast natural number theory as a formal axiomatic system
A Latin Treatise on the Principles of Number
The work known as Giuseppe Peano’s Arithmetic is the short Latin treatise Arithmetices principia: nova methodo exposita, whose title presents “the principles of arithmetic” according to a “new method.” It appeared in Turin, printed by Fratelli Bocca, in 1889. Peano was an Italian mathematician and logician, and the book belongs to the foundational literature of arithmetic and mathematical logic. Its English title is The Principles of Arithmetic, Presented by a New Method. Rather than offering a course in calculation, it seeks to place elementary arithmetic on an explicit logical footing and to express its statements in a symbolic language.
Nine Axioms, Five of Them Famous
The book’s central move is to state axioms for the natural numbers and to derive arithmetic from them. In the 1889 presentation Peano gave nine axioms: four concerning equality and five “proper” axioms of arithmetic. The five arithmetic axioms state that 1 is a natural number; that the successor of a natural number is again a natural number; that distinct natural numbers have distinct successors; that 1 is not the successor of any natural number; and that induction holds. The induction axiom says that any class containing 1 and closed under succession contains every natural number. This is the principle that underwrites proof by induction.
The original system differs in several ways from the familiar modern presentation. The natural number is taken as a primitive notion; the numbers begin with 1 rather than 0; and the induction axiom quantifies over classes or sets, making the system richer than first-order logic. Addition and multiplication are not introduced through separate axioms. The treatment of multiplication relies on recursive definitions, and consequences such as the rule that multiplication by zero yields zero follow from those definitions, though Peano did not state that particular rule explicitly. The five arithmetic axioms that became famous as the Peano axioms are embedded within the larger list of nine, and Peano is credited with being the first to formulate those five explicitly.
A Formal Language of Classes and Membership
To make the axioms and proofs precise, Peano created the first formalized class logic as a foundation for his arithmetic. The book introduces the element sign ∈ and ordered pairs of the form (a,b). Its symbolic language became a precursor to the logical notation used in the twentieth century. The “new method” of the title therefore lies in the combination of explicit axioms with a purpose-built formal notation. Peano wanted to show how logic could assist mathematics, and the work increases the role of logic in mathematical presentation. In this sense its novelty is not a new body of arithmetic facts but a new way of organizing and justifying arithmetic statements.
Peano’s Debt to Grassmann and the Question of Credit
Peano did not work in isolation. He made extensive use of Hermann Grassmann’s Lehrbuch der Arithmetik of 1861 and acknowledged it in his introduction as a source for arithmetic proofs. Grassmann had earlier attempted an axiomatic basis for arithmetic, using recursive definitions and induction, although his presentation had gaps. Peano’s contribution was to increase the role of logic and to give the axioms an explicit formal statement. Similar ideas were independently formulated by Richard Dedekind, and Grassmann had prepared part of the ground, but Peano is generally credited with the first explicit formulation of the famous five axioms. The book therefore belongs both to Peano’s own original work and to a wider nineteenth-century movement toward axiomatic foundations.
From Foundational Text to Logical Legacy
The work had a profound impact on the development of mathematical logic. Bertrand Russell used Peano’s axioms as a foundation for much of the formalism in Principia Mathematica, written with Alfred North Whitehead. Modern presentations of Peano arithmetic often resemble the axioms Peano set out, though they commonly begin with 0 rather than 1. At the same time, the book did not develop a detailed theory of infinite sets or a full foundation for set theory. Later, Gödel’s incompleteness theorems exposed inherent limits of formal systems, including systems of the kind Peano’s work helped to establish. Even so, the axiomatic foundation for arithmetic that the book introduced remains central to mathematics.
