>>715
>1）1∈2∈3∈・・∈∃n∈ω 但し n ＞ 3
ある自然数nで成り立てばよいのだから真。「但し n ＞ 3」などという断り書きは不要。

>2）1∈2∈3∈・・∈∀n∈ω 但し n ＞ 3
書き方が悪い。
∀n∈{n∈N|n>3}、1∈2∈3∈・・∈n∈ω とでもすべき。
で、これはnがどんな自然数であれ有限列であって、おまえの主張（=無限列）とは異なることは分かるか？
そこが重要だぞ？