4 ms·
In foundational theories that are strongly typed (such as https://papers.ssrn.com/abstract=3457802 https://papers.ssrn.com/abstract=3457802, which is much mor
by ProfHewitt 6y ago
In foundational theories that are strongly typed (such as
https://papers.ssrn.com/abstract=3457802 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.