- 807 名前：１３２人目の素数さん [2021/06/01(火) 09:40:40.77 ID:PQhkszb6.net]
- >>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がどんな自然数であれ有限列であって、おまえの主張（=無限列）とは異なることは分かる�
