4 ms·
I think this turing machine will only halt if ZFC is inconsistent, not if some other set theory with different axioms is inconsistent.
by spott 10y ago
I think this turing machine will only halt if ZFC is inconsistent, not if some other set theory with different axioms is inconsistent.