19/12/07 09:36:56.95 uZFmzNJe.net
>>692
＞両方考えるのがIUT
両方とは？
>>691の１．と２．は両立しますよ
例えば
１．{}∈{{}}∈{{{}}}∈… という無限列は存在する
２．Ω＝{{},{{}},{{{}}},…}とすれば
任意の有限重{{{…}}}について
{}∈{{}}∈{{{}}}∈…∈{{{…}}}∈Ωという有限列が存在する
それでいいなら
a∈aとなるようなa（=無限重{{{…}}}）
を考える必要はない、ということです
19/12/07 09:36:56.95 uZFmzNJe.net
>>692
＞両方考えるのがIUT
両方とは？
>>691の１．と２．は両立しますよ
例えば
１．{}∈{{}}∈{{{}}}∈… という無限列は存在する
２．Ω＝{{},{{}},{{{}}},…}とすれば
任意の有限重{{{…}}}について
{}∈{{}}∈{{{}}}∈…∈{{{…}}}∈Ωという有限列が存在する
それでいいなら
a∈aとなるようなa（=無限重{{{…}}}）
を考える必要はない、ということです