\begin{definition}[Definition:Multiplication/Natural Numbers]
Let $\N$ be the natural numbers.
'''Multiplication''' on $\N$ is the basic operation $\times$ everyone is familiar with.
For example:
:$3 \times 4 = 12$
:$13 \times 7 = 91$
Every attempt to describe the natural numbers via suitable axioms should reproduce the intuitive behaviour of $\times$.
The same holds for any construction of $\N$ in an ambient theory.
\end{definition}