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.
[ Parent
| on HN ]
There are no comments on this comment yet.