20/02/17 18:35:50.75 OIES02uk.net
>>746
> いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないこと
それでも有限と無限が同じではないでしょう
>>754
> 共通のシッポの決定番号が有限mであったことに矛盾する
> この矛盾は、決定番号が有限mとしたことに起因する
間違い
「共通のシッポの決定番号が有限にならない」ことは可算無限集合に起因する
スレ主は自然数nと自然数全体の集合Nの違いが分からないみたいね
任意の自然数n(有限)は自然数全体の集合N(可算無限集合)でない
>>757
数列の収束をωを使って書き換えても時枝記事の結論は変わらないよ
1, 2, 3, ... , n-1, n, ...
が
1, 2, 3, ... , d-1, {d, d+1, d+2, ... }(d以降全ては可算無限集合)
より
1, 2, 3, ... , d-1, ω
数列を1つ選んで出題するにはd-1を有限にしなければいけない