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 thou

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/ https://adam.math.hhu.de/