>>686
>1∈2∈3∈・・∈∃n∈ω
>は良い。

いや、これもおかしいけどね
みんな、述語論理、勉強してよ