Natural Numbers under Addition form Commutative Monoid

Theorem
The algebraic structure $$\left({\mathbb{N}, +}\right)$$ consisting of the set of natural numbers $$\mathbb{N}$$ under addition $$+$$ forms a commutative monoid whose identity is zero, and all of whose elements are cancellable.

Proof
From Natural Numbers are a Naturally Ordered Semigroup, the algebraic structure $$\left ({\mathbb{N}, +}\right)$$ is a naturally ordered semigroup.

From the definition of the naturally ordered semigroup, it follows that $$\left ({\mathbb{N}, +}\right)$$ is a commutative semigroup.

From the definition of Zero, $$\left({\mathbb{N}, +}\right)$$ has $$0 \in \mathbb{N}$$ as the identity, hence is a monoid.

from Naturally Ordered Semigroup: NO 2, every element of $$\left ({\mathbb{N}, +}\right)$$ is cancellable.