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