Peano axioms

In mathematical logic, the Peano axioms (/piˈɑːnoʊ/,^[1] [peˈaːno]), also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th-century Italian mathematician Giuseppe Peano. These axioms have been used nearly unchanged in a number of metamathematical investigations, including research into fundamental questions of whether number theory is consistent and complete.

The axiomatization of arithmetic provided by Peano axioms is commonly called Peano arithmetic.

The importance of formalizing arithmetic was not well appreciated until the work of Hermann Grassmann, who showed in the 1860s that many facts in arithmetic could be derived from more basic facts about the successor operation and induction.^[2]^[3] In 1881, Charles Sanders Peirce provided an axiomatization of natural-number arithmetic.^[4]^[5] In 1888, Richard Dedekind proposed another axiomatization of natural-number arithmetic, and in 1889, Peano published a simplified version of them as a collection of axioms in his book The principles of arithmetic presented by a new method (Latin: Arithmetices principia, nova methodo exposita).

The nine Peano axioms contain three types of statements. The first axiom asserts the existence of at least one member of the set of natural numbers. The next four are general statements about equality; in modern treatments these are often not taken as part of the Peano axioms, but rather as axioms of the "underlying logic".^[6] The next three axioms are first-order statements about natural numbers expressing the fundamental properties of the successor operation. The ninth, final axiom is a second-order statement of the principle of mathematical induction over the natural numbers, which makes this formulation close to second-order arithmetic. A weaker first-order system is obtained by explicitly adding the addition and multiplication operation symbols and replacing the second-order induction axiom with a first-order axiom schema. The term Peano arithmetic is sometimes used for specifically naming this restricted system.

$S(0)$ is the left identity of 0: $S(0)\cdot 0=0$ .

If $S(0)$ is the left identity of $a$ (that is $S(0)\cdot a=a$ ), then $S(0)$ is also the left identity of $S(a)$ : $S(0)\cdot S(a)=S(0)+S(0)\cdot a=S(0)+a=a+S(0)=S(a+0)=S(a)$ , using commutativity of addition.

$\forall x\ (0\neq S(x))$

$\forall x,y\ (S(x)=S(y)\Rightarrow x=y)$

$\forall x\ (x+0=x)$

$\forall x,y\ (x+S(y)=S(x+y))$

$\forall x\ (x\cdot 0=0)$

$\forall x,y\ (x\cdot S(y)=x\cdot y+x)$

Foundations of mathematics

Frege's theorem

Goodstein's theorem

Neo-logicism

Non-standard model of arithmetic

Paris–Harrington theorem

Presburger arithmetic

Skolem arithmetic

Robinson arithmetic

Second-order arithmetic

Typographical Number Theory

Buss, Samuel R. (1998). "Chapter II: First-Order Proof Theory of Arithmetic". In Buss, Samuel R. (ed.). Handbook of Proof Theory. New York: Elsevier Science. 978-0-444-89840-1.

ISBN

Murzi, Mauro. . Internet Encyclopedia of Philosophy. Includes a discussion of Poincaré's critique of the Peano's axioms.

"Henri Poincaré"

Podnieks, Karlis (2015-01-25). "3. First Order Arithmetic". . pp. 93–121.

What is Mathematics: Gödel's Theorem and Around

, Encyclopedia of Mathematics, EMS Press, 2001 [1994]

"Peano axioms"

"Peano's Axioms". MathWorld.

Weisstein, Eric W.

Burris, Stanley N. (2001). . Commentary on Dedekind's work.

"What are numbers, and what is their meaning?: Dedekind"

This article incorporates material from PA on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.