Sentence:  A careful derivation of the arithmetic properties of the <WSD>natural numbers</WSD> \mathbb{N}, using induction, was done by G. Peano (1858–1932). It is a lot of fun, but we will not pursue any of it here. 
Meaning of the word marked with <WSD> tags:  a non-negative integer {0, 1, 2, ...}