In Peano arithmetic, Addition is defined recursively.

Definition

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

Properties

Addition on the Natural Numbers has two important properties: commutativity and associativity. Also, multiplication is distributive over addition.

See also

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