21/11/16 08:15:31.74 r12S+/Td.net
＞だから、カッコ {} が、可算無限個重なったものも、数学として考え得るよ
A ＝ ・・・{{{{ }}}}・・・
と置くと、この A は集合ではない。もしこれが集合だと言い張るのであれば、
Aの元は一体どのような形をしているのか？
たとえば、{{}}∈A は成り立つのか？もし成り立つなら、その時点で
A ＝ { {{}}, (残りのナニカ) }
という形になるので、(残りのナニカ) の部分が存在しない場合には
A＝{{{}}}
という形に確定する。しかし、これは A ＝ ・・・{{{{ }}}}・・・ という定義に矛盾する。
そして、(残りのナニカ) の部分が存在するなら、そのときの
A ＝ { {{}}, (残りのナニカ) }
は明らかに A ＝ ・・・{{{{ }}}}・・・ という形をしていない。
要するに、少なくとも {{}}∈A は成り立たない。