2 ms·
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
by 4ad 2y ago
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).
- scapp 2y agoNothing wrong with starting at 1 for induction, but yes, having an additive monoid is nice (still get a multiplicative monoid with N*)