Natural Number Addition is Commutative/Proof 1

Proof
We have that the Natural Numbers form Naturally Ordered Semigroup whose operation is addition.

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

Hence the result.