くるるさん(id:kururu_goedel)のところでなにやらいろいろと書かれている「連続体問題」ですが、これはカントールが提唱した連続体仮説に関するお話のようです。連続体仮説を集合の濃度の記号を用いて表すと、その主張は 「 であろう」 と言うもので、ZF 公…