News for hackers. Stuff that matters.

A comment on Gödel Without (Too Many) Tears. Parent comment

Re:Gödel Without (Too Many) Tears by wfn on Monday September 30, 2013 @07:12PM (#6472969)
Ah, but the consistency of ZFC itself is undecidable from within ZFC! [1] I see what you're saying; it's quite the rabbit hole, however.

[1]: https://en.wikipedia.org/wiki/List_of_statements_undecidable...

[ Parent | on HN ]

There are no comments on this comment yet.