3 ms·
But that's not much of a practical problem, since ZF set theory proves them both.
by cwzwarich 13y ago
But that's not much of a practical problem, since ZF set theory proves them both.
- wfn 13y agoAh, 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_in_ZFC https://en.wikipedia.org/wiki/List_of_statements_undecidable...