It is not the case that The truth of the second-order sentence θ_CH in a sufficiently large model depends on whether the Continuum Hypothesis holds, and the Continuum Hypothesis is not settled by ZFC alone.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.