# Definition:Addition/Natural Numbers

This page has been identified as a candidate for refactoring of advanced complexity.In particular: The transclusion targets need to be appropriately redirected, but I couldn't decide whether they should be subpages of this page or of the master page "Addition" (as some are now). Comments welcomedUntil this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

## Definition

Every attempt to describe the natural numbers via suitable axioms should reproduce the intuitive behaviour of $+$.

The same holds for any construction of $\N$ in an ambient theory.

Let $\N$ be the natural numbers.

### Addition in Peano Structure

Let $\struct {P, 0, s}$ be a Peano structure.

The binary operation $+$ is defined on $P$ as follows:

- $\forall m, n \in P: \begin{cases}

m + 0 & = m \\ m + \map s n & = \map s {m + n} \end{cases}$

This operation is called **addition**.

### Addition in Naturally Ordered Semigroup

Let $\struct {S, \circ, \preceq}$ be a naturally ordered semigroup.

The operation $\circ$ in $\struct {S, \circ, \preceq}$ is called **addition**.

### Addition in Minimally Inductive Set

Let $\omega$ be the minimally inductive set.

The binary operation $+$ is defined on $\omega$ as follows:

- $\forall m, n \in \omega: \begin {cases} m + 0 & = m \\ m + n^+ & = \paren {m + n}^+ \end {cases}$

where $m^+$ is the successor set of $m$.

This operation is called **addition**.

### Addition for Natural Numbers in Real Numbers

Let $\struct {\R, +, \times, \le}$ be the field of real numbers.

Let $\N$ be the natural numbers in $\R$.

Then the restriction of $+$ to $\N$ is called **addition**.

## Also see

- Results about
**natural number addition**can be found**here**.

## Sources

- 1974: Murray R. Spiegel:
*Theory and Problems of Advanced Calculus*(SI ed.) ... (previous) ... (next): Chapter $1$: Numbers: Real Numbers: $1$ - 1981: Murray R. Spiegel:
*Theory and Problems of Complex Variables*(SI ed.) ... (previous) ... (next): Chapter $1$: Complex Numbers: The Real Number System: $1$ - 1989: Ephraim J. Borowski and Jonathan M. Borwein:
*Dictionary of Mathematics*... (previous) ... (next):**add**:**1.**