https://papers.ssrn.com/abstract=3457802, which is much
more powerful than first-order ZFC), one version of
the Continuum Hypothesis is still open although other
versions have been proved or disproved.
It has *not* been proved that the open version cannot be proved and it has *not* been proved that the open version cannot be disproved.
https://papers.ssrn.com/abstract=3457802, which is much
more powerful than first-order ZFC), one version of
the Continuum Hypothesis is still open although other
versions have been proved or disproved.