News for hackers. Stuff that matters.
Re:List of Statements Independent of ZFC by ginnungagap on Thursday December 19, 2019 @03:11AM (#21832966)
When we say that a statement P is independent of ZFC what we're really saying is "if ZFC is consistent, then P is independent of ZFC (hence both ZFC+P and ZFC+not P are consistent)".

This is the only sensible way to interpret claims of independency, since if ZFC is inconsistent it just proves every statement so there's no independent ones

There are no comments on this comment yet.