6–③ ヒルベルトは連続体仮説を数学の重要な課題と考え1900年の「23の問…

6–③
ヒルベルトは連続体仮説を数学の重要な課題と考え1900年の「23の問題」の第1番に挙げました。

カントールは、連続体仮説は真と予想していたものの証明はかなわず。

最終的には、選択公理を用いた証明で真でも偽でもない公理系から独立した命題ということになりました。
(続く)