I feel like a great deal more credit should be given to Cauchy and his school, but I understand the tale is long enough.

The Peano axioms are pretty nifty though. To get a better appreciation of the difficulty of formally constructing the integers as we know them, I recommend trying the Numbers Game in Lean found here: https://adam.math.hhu.de/