>>683
>> 1∈2∈3∈・・∈n∈ω
　　↓
>> 1∈2∈3∈・・∈∀n∈ω
>などと、∀を使えば、よかんべ
反例 1∈1∈ω
∀nは任意の自然数だから1でもよい。しかし 1∈1 は偽だから「1∈1∈ω は∈列」も偽。

1∈2∈3∈・・∈∃n∈ω
は良い。しかしこれは有限列。

さすがに大学数学に入門を拒絶されただけのことはありますね。量化子がまったく分かってない。