Definition:Multiplication/Natural Numbers

Definition
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.

Also see

 * Definition:Multiplication on 1-Based Natural Numbers.