Not sure where this HN title comes from since it's not the original but I have a gripe with the way it represents Peano's Axioms as THE building blocks of arithmetic. Instead of just one of the many attempts at coming up with a set of axioms that can serve as the building blocks of Arithmetic

What would some others be? I usually only see Peano's axioms.

There are many axiom systems for natural numbers. My favorites are 1. Heyting Arithmetic, and 2. In category theory, one can characterise the natural numbers and the initial algebra of the X |–> X+1. functor.

Don't know why, but to me there is little that I find more interesting than axiomes in math. ZFC / Peano always fascinated me, especially in the light of Gödels incomplete theorem.