In Peano arithmetic, Addition is defined recursively.


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


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.