2007, Mark Bridger,REAL ANALYSIS: A Constructive Approach, Hoboken, New Jersey: John Wiley & Sons, page 3:
A careful derivation of the arithmetic properties of thenatural numbers, using induction, was done by G. Peano (1858–1932). It is a lot of fun, but we will not pursue any of it here.