\begin{definition}[Definition:Addition/Natural Numbers]
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.
\end{definition}