In Peano arithmetic, multiplication is defined by a recursion of addition of natural numbers.

Definition

Given an arbitrary , we will define recursively as follows: and , for all .

Properties

Multiplication on the natural numbers has some important properties:

See also

Community content is available under CC-BY-SA unless otherwise noted.