Natural Number Addition is Associative/Proof 1

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

By definition, the operation in a semigroup is associative.

Hence the result.