Mathematics
The Peano Axioms and the Construction of Natural Numbers
Quick fact
The Peano axioms define the natural numbers using only the concept of 'zero' and a 'successor' operation—there is no mention of addition or multiplication. From these five axioms, all of arithmetic can be derived.
Why this is interesting
You’ve counted numbers all your life, but what if someone asked you to prove that 2 is not the same as 3? The Peano axioms turn this everyday intuition into a precise logical framework that underpins all arithmetic.