It has a rich history going back to the formalization of arithmetic in the 1800s. https://en.wikipedia.org/wiki/Peano_axioms https://en.wikipedia.org/wiki/Pean

It has a rich history going back to the formalization of arithmetic in the 1800s. https://en.wikipedia.org/wiki/Peano_axioms https://en.wikipedia.org/wiki/Peano_axioms It's probably something that only folks who study the foundations of mathematics would know. You may have also heard about it if you learned about Gödel's incompleteness theorems, or read Gödel, Escher, Bach