It's more like this. You can prove more theorems by adding axioms, but if you add too many, then you might get an inconsistent proof system (containing undiscov

It's more like this. You can prove more theorems by adding axioms, but if you add too many, then you might get an inconsistent proof system (containing undiscovered contradictions). Because of this, mathematicians are extreme conservatives when it comes to adding axioms, and if they ever got to that point they would stop believing they were doing mathematics.