Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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 ?



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: