>>688
え？？？
キミ量化子知らんの？

1∈2∈3∈・・∈∃n∈ω
は
ある自然数nが存在して
1∈2∈3∈・・∈n∈ω
を満たす
という意味だよ？

1∈2∈3∈4∈ω
は真じゃないと？　大丈夫？キミ