6 ms·
> within the ZFC formalism, then `CH ∨ ¬CH` is a true statement It's also a provable statement (via excluded middle)
by chriswarbo 4y ago
> within the ZFC formalism, then `CH ∨ ¬CH` is a true statement
It's also a provable statement (via excluded middle)