You are correct. They would have to drop an axiom to hope to go from inconsistent to consistent. E.g., go from ZFC to ZF (drop the axiom of choice).<p>If ZF is inconsistent... I think that would make a lot of mathematicians panic.