>>359

つづき

連続体仮説が、ＺＦＣと独立なことは、カントールの着想から50年以上かかったそうですね（下記）
このツェルメロ可算シングルトン存在仮説が、”a)適切に成り立つ、b)否定も肯定もできない（その公理系から独立）、c)不適切（矛盾）
の3択”(>>347)で、ゼロ除算のように明らかに”、c)不適切（矛盾）”が言えなければ、それで十分と個人的には思っています

ツェルメロ後者 suc(a) := {a} を使った単純な話が、数十年かかるとは思わないが、ＺＦＣの中だとか外だとか、そんな証明をここでするつもりはありません
良いですよ、ＺＦＣ内で。まず、ツェルメロ可算シングルトン存在仮説が、ＺＦＣ内で矛盾を生じると思われるならば、どうぞその証明をお願いします

https://ja.wikipedia.org/wiki/%E9%80%A3%E7%B6%9A%E4%BD%93%E4%BB%AE%E8%AA%AC
連続体仮説
(引用終り)
以上