[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
625(1): 2019/12/07(土)11:25 ID:LqOT9BiI(1) AAS
>>617
無理などあなた以外誰もする必要ないくらいの問題です。
こんな話数学科の学部生レベルのごく基本的なお話です。
ツォルンの補題や超限帰納法なんて一回生でやる話です。
あなたはそのレベルの話ですら理解できてないんですよ。
理解するつもりすらないらしいから当然ですが。
626(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/07(土)14:50 ID:H2e5WMAT(6/14) AAS
>>625
無理するな
外部ﾘﾝｸ:ja.wikipedia.org
レーヴェンハイム?スコーレムの定理
(抜粋)
レーヴェンハイム?スコーレムの定理（英: Lowenheim?Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。
そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s