Comment by m3koval

Nit: You can't, by definition, prove an axiom. Memorizing axioms is quite necessary because they are the building blocks for all other theorems.

In any case, I don't disagree with your high-level point.