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.