4 ms·
sure, but if you ignore any connection to the real world or platonic truth and are just talking about within the ZFC formalism, then `CH ∨ ¬CH` is a true stat
by thayne 4y ago
sure, but if you ignore any connection to the real world or platonic truth and are just talking about within the ZFC formalism, then `CH ∨ ¬CH` is a true statement, even though it is impossible to prove either `CH` or `¬CH`.
- chriswarbo 4y ago> within the ZFC formalism, then `CH ∨ ¬CH` is a true statement It's also a provable statement (via excluded middle)