Good luck explaining "simpler" with modules and vectors :). Simple is defined as not to inter-wine. To understand an axiom is to understand how it "inter-wine"

Good luck explaining "simpler" with modules and vectors :). Simple is defined as not to inter-wine. To understand an axiom is to understand how it "inter-wine" with other axioms to prove certain results. So fewer axioms necessarily results in more interwines, ie complex. I think here we are switching the subjects: from axiom itself to the results that we want to prove. If we focus on the simplicity of proving the results, the simplicity of axioms are irrelevant.