21/11/17 07:12:54.93 5EFHliSw.net
このことを踏まえて、
＞{…{{}}…}と
＞{{},{{}},{{{}}},…}と
について考えてみる。まず、
X＝{{},{{}},{{{}}},…}
と置けば、このXは集合である。また、Xの元として、たとえば {}∈X, {{}}∈X, {{{}}}∈X などが取れる。
ゆえに、上記の定理により、{} は集合であり、{{}} も集合であり、{{{}}} も集合である、ということになる。
実際、これらの3つは集合である。
21/11/17 07:12:54.93 5EFHliSw.net
このことを踏まえて、
＞{…{{}}…}と
＞{{},{{}},{{{}}},…}と
について考えてみる。まず、
X＝{{},{{}},{{{}}},…}
と置けば、このXは集合である。また、Xの元として、たとえば {}∈X, {{}}∈X, {{{}}}∈X などが取れる。
ゆえに、上記の定理により、{} は集合であり、{{}} も集合であり、{{{}}} も集合である、ということになる。
実際、これらの3つは集合である。