Definition:Addition/Natural Numbers
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 welcomed
Until this has been finished, please leave {{refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. 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}$.
Contents
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 $\left({S, \circ, \preceq}\right)$ be a naturally ordered semigroup.
The operation $\circ$ in $\left({S, \circ, \preceq}\right)$ is called addition.
Addition in Minimal Infinite Successor Set
Let $\omega$ be the minimal infinite successor set.
The binary operation $+$ is defined on $\omega$ as follows:
- $\forall m,n \in \omega: \begin{cases} m + 0 &= m \\ m + n^+ &= \left({m + n}\right)^+\end{cases}$
where $m^+$ is the successor set of $m$.
This operation is called addition.
Addition for Natural Numbers in Real Numbers
Let $\left({\R, +, \times, \leq}\right)$ 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
Sources
- 1981: Murray R. Spiegel: Theory and Problems of Complex Variables (SI ed.) ... (previous) ... (next): $1$: Complex Numbers: The Real Number System: $1$
