>>692
＞両方考えるのがIUT

両方とは？

>>691の１．と２．は両立しますよ
例えば

１．{}∈{{}}∈{{{}}}∈…　という無限列は存在する
２．Ω＝{{},{{}},{{{}}},…}とすれば
　　任意の有限重{{{…}}}について
　　{}∈{{}}∈{{{}}}∈…∈{{{…}}}∈Ωという有限列が存在する

それでいいなら
a∈aとなるようなa（=無限重{{{…}}}）
を考える必要はない、ということです