Hacker News new | ask | show | jobs
by ProfHewitt 1858 days ago
It is only for 1st-order logic that it has been shown that the

Continuum Hypothesis can neither be proved non disproved.

The issue of the Continuum Hypothesis is still open for more

powerful theories. See the following:

https://papers.ssrn.com/abstract=3457802