# Axiom:Peano's Axioms/Formulation 1

## Contents

## Axioms

**Peano's Axioms** are a set of properties which can be used to serve as a basis for logical deduction of the properties of the natural numbers.

Let there be given a set $P$, a mapping $s: P \to P$, and a distinguished element $0$.

Historically, these two presuppositions were considered the first two of **Peano's Axioms**. The other three can be formulated as follows:

\((P3)\) | $:$ | \(\displaystyle \forall m, n \in P:\) | \(\displaystyle \map s m = \map s n \implies m = n \) | $s$ is injective | ||||

\((P4)\) | $:$ | \(\displaystyle \forall n \in P:\) | \(\displaystyle \map s n \ne 0 \) | $0$ is not in the image of $s$ | ||||

\((P5)\) | $:$ | \(\displaystyle \forall A \subseteq P:\) | \(\displaystyle \paren {0 \in A \land \paren {\forall z \in A: \map s z \in A} } \implies A = P \) | Principle of Mathematical Induction: | ||||

Any subset $A$ of $P$, containing $0$ and | ||||||||

closed under $s$, is equal to $P$ |

## Also defined as

Some treatments of Peano's axioms define the non-successor element (or **primal element**) to be $1$ and not $0$.

The treatments are similar, but the $1$-based system results in an algebraic structure which has no identity element for addition, and so no zero for multiplication.

## Also known as

**Peano's axioms** are also known as:

**the Peano axioms****the Dedekind-Peano axioms**(for Richard Dedekind)**the Peano postulates****Peano's postulates**

and so on.

## Also see

- Results about
**Peano's axioms**can be found here.

## Source of Name

This entry was named for Giuseppe Peano.

## Historical Note

A set of axioms on the same topic as **Peano's axioms** was initially formulated by Richard Dedekind in $1888$.

Giuseppe Peano published them in $1889$ according to his own formulation, in a more precisely stated form than Dedekind's.

According to 1960: Paul R. Halmos: *Naive Set Theory*:

*[These] assertions ... are known as the Peano axioms; they used to be considered as the fountainhead of all mathematical knowledge.*

It is worth pointing out that the **Peano axioms** can be deduced to hold for the minimal infinite successor set as defined by the Axiom of Infinity from the Zermelo-Fraenkel axioms.

Thus they are now rarely considered as axiomatic as such.

However, in their time they were groundbreaking.

## Sources

- 1960: Paul R. Halmos:
*Naive Set Theory*... (previous) ... (next): $\S 12$: The Peano Axioms - 1965: Seth Warner:
*Modern Algebra*... (previous) ... (next): $\S 16$ - 1972: A.G. Howson:
*A Handbook of Terms used in Algebra and Analysis*... (previous) ... (next): $\S 4$: Number systems $\text{I}$: Peano's Axioms - 1975: Bert Mendelson:
*Introduction to Topology*(3rd ed.) ... (previous) ... (next): Chapter $1$: Theory of Sets: $\S 1$: Introduction - 2008: David Nelson:
*The Penguin Dictionary of Mathematics*(4th ed.) ... (previous) ... (next): Entry:**Peano's postulates** - 2014: Christopher Clapham and James Nicholson:
*The Concise Oxford Dictionary of Mathematics*(5th ed.) ... (previous) ... (next): Entry:**Peano's axioms**