Re:The Axiom of Choice Is Wrong (2007)
by drdeca on Sunday February 05, 2017 @01:30PM
(#13573697)
I think by adding the axiom, they mean considering the axiom system with the old axioms, and also the one being added?
So, assuming the initial system is consistent, adding the godel sentence, or its negation, produces a new consistent system, iirc. But in the second case, it would be omega-inconsistent ?
So, assuming the initial system is consistent, adding the godel sentence, or its negation, produces a new consistent system, iirc. But in the second case, it would be omega-inconsistent ?