21/06/01 09:40:40.77 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がどんな自然数であれ有限列であって、おまえの主張（=無限列）とは異なることは分かる�
21/06/01 09:40:40.77 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がどんな自然数であれ有限列であって、おまえの主張（=無限列）とは異なることは分かる�