[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
73(1): 2021/10/09(土)13:01 ID:JOKI/wgx(8/16) AAS
>>71
>>71
レーヴェンハイム?スコーレムの定理（下記）
「いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない」
”a theory with arbitrarily large finite models must have an infinite model”
なので、ツェルメロのシングルトン、任意の有限ｎに対して構成可能だから
可算無限のシングルトンも、存在すると考える方が
順当だろう
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
省9
85: Mara Papiyas ◆y7fKJ8VsjM 2021/10/10(日)06:07 ID:WvyKzuhg(2/18) AAS
>>73
>レーヴェンハイム?スコーレムの定理
>「いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない」
>なので、ツェルメロのシングルトン、任意の有限ｎに対して構成可能だから
>可算無限のシングルトンも、存在すると考える方が順当だろう
モデルの意味、全然わかってないだろｗ
ツェルメロのシングルトンは、お🐒のSET Aにとってモデルなのかね？ｗｗｗ
全然違うよｗ
有限重の{}によるシングルトンは集合として存在する
しかし、無限重の{}によるシングルトンは
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.413s*