Natural Number Addition is Associative/Proof 1

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

By definition, the operation in a semigroup is associative.

Hence the result.