benelliott comments on [SEQ RERUN] Math is Subjunctively Objective

[benelliott]

when we say “statement X in formal system Y is true”, we mean X is consistent with the axioms of Y.

By this definition, both the continuum hypothesis and the negation of the continuum hypothesis are true in ZFC