You have to be tall to be president but you don’t have to be tall to know the Peano Axioms. Right now, America’s Peano Axiom height index is about 2 inches. A small mouse.
Lincoln was the tallest president. He took office in 1861, the year that Grassmann published his book using mathematical induction to prove that addition was associative and commutative. Grassmann was a teacher. He developed his approach out of his teaching and need to find something to say to explain addition of natural numbers and prove its properties.
Yet the math ed establishment does not care. Why?