[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.

[zecho]

Oops. My bad. I fixed it. Thanks.