Identity Element of Natural Number Addition is Zero

Theorem
The identity element for the natural numbers under addition is zero ($0$).

Proof
The Natural Numbers form Naturally Ordered Semigroup.

Recall that Naturally Ordered Semigroup is Unique.

A naturally ordered semigroup has an element zero which behaves as an identity element for addition.

This is therefore defined as being the zero ($0$) of the natural numbers.