Worse: If the chosen axioms are contradictory, then the theorem is effectively worthless.

And it is impossible to know whether axioms are consistent. You can only prove that they are not.