>>715
さらに補足

1.「1∈2∈3∈・・∈∀n∈ω 但し n > 3」は、二つの部分に分けられる
 a)1∈2∈3∈・・∈∀n
 b)∀n∈ω

2.a)の文は、ノイマン構成を表す
  b)の文は、ω=N(=自然数の集合)から、自明

3.a)&b)→「1∈2∈3∈・・∈∀n∈ω 但し n > 3」となる

文「1∈2∈3∈・・∈∀n∈ω 但し n > 3」
は、なんの不思議もない
普通の文ですよ
以上