>>694
>イヤ、問題になってたのはお前の“無限シングルトン”の話やろ?
>お前の“無限シングルトン”Xの元Yは無限シングルトンなんか?有限シングルトンなんか?
>どっちやねん?

別に拘らんよ、元の存在か
いろいろ考えられるよね
元無しのUrelementでも構わんし
元有りの集合として考えても可

とにかく、“有限シングルトン”の n→∞(or ω)の極限を考えたら、(可算)“無限シングルトン”が考えられるってだけ
それがどんなものかは、無責任だが、興味がある人が考えたら良いんじゃない?

ZFCの外? まあ、そう考えたければどうぞ。但し、証明はご自身でどうぞ
ZFCの外で、Alternative set theoryのどこかに入る? そうかも

Alternative set theoryのどこにも入らないって? そうかな? 但し、証明はご自身でどうぞw
(証明は難しいだろうね。世にある Alternative set theory 全てを調べないといけないぞww)

(参考)
https://en.wikipedia.org/wiki/Urelement
Urelement

https://en.wikipedia.org/wiki/Alternative_set_theory
Alternative set theory
(引用終り)
以上