Natural Number Addition is Commutative/Proof 1

Proof
Consider the natural numbers defined as a naturally ordered semigroup.

By definition, the operation in a naturally ordered semigroup is commutative.

Hence the result.