News for hackers. Stuff that matters.
Re:The Axiom of Choice Is Wrong (2007) by baddox on Sunday February 05, 2017 @12:24PM (#13573356)
A Godel sentence claims that itself cannot be proven in its axiomatic system. If you add another axiom, you have a new axiomatic system that can prove the Godel sentence in the original axiomatic system, but the new axiomatic system will have its own new Godel sentence.

There are no comments on this comment yet.