暇つぶし2chat MATH
- 暇つぶし2ch811:132人目の素数さん
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を有限にしなければいけない


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch