Definition:Addition/Natural Numbers

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.

Also see

 * Definition:Natural Number Multiplication