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.
In any case, I don't disagree with your high-level point.