Question: What type of numbers under addition form a monoid?
Sentence: The natural numbers N (including 0) under addition form a monoid, as do the nonzero integers under multiplication (Z ∖ {0}, ·), see above.
Answer in sentence: yes