My somewhat mathematical point of view is that I can accept adjoining independent but weird axioms into your axiom set, but I can't accept running around with a formal system that has already reached a logical contradiction or that doesn't even use inference from axioms as its basis.