>>359-360

>議論が錯綜するので、>>300の 添え字付きカッコを使った
>lim n→ω an ＝aω=ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω＝ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω を、
>ツェルメロ可算シングルトン存在仮説ないし、ツェルメロ可算シングルトン存在予想とでもしましょう

再三指摘していますが、式の定義が不明確なのでこれは「予想」とは言えないことに注意しましょう。
つまり、数学的主張ではないので「存在証明」も「存在非証明」も出来ないということです。
次元を定義せずに「次元が無限大の多様体は存在する。間違いというなら存在しないことを証明せよ。」というようなものです。

>良いですよ、ＺＦＣ内で。まず、ツェルメロ可算シングルトン存在仮説が、ＺＦＣ内で矛盾を生じると思われるならば、どうぞその証明をお願いします

なので、この「ツェルメロ可算シングルトン存在仮説」は数学的主張でないので数学として取り扱えないわけです。

もし何かしら数学的主張を行いたいなら、「無限シングルトン」を「何々の条件を満たす集合」として定義して、それが存在するかどうかを
クエスチョンとして改めて尋ねてください。