Comment by 4ad

The definition of natural numbers used in any sort of formalized mathematics includes zero. Without zero, you don't have induction (and ℕ wouldn't form a monoid).