Summer of Math Exposition

Presented by 3Blue1Brown 3blue1brown

Peano axioms: Can you really PROVE that 2+2=4?