4 ms·
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). If ZF is i
by toth 10y ago
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).
If ZF is inconsistent... I think that would make a lot of mathematicians panic.