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

### Languages:

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