I like to think of it as all formalisms are tautologies. Therefore we can go along with some common sense and fuzzy logic rather than having to prove every possible axiom, which isn't actually possible or would take unlimited time. It's analogous to the halting problem.