[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
956(1): 07/20(日)15:36 ID:2Jr4cGNB(19/29) AAS
命題
ω=N
証明
(1)ω⊂Nを示す。
系２−１よりNは帰納的集合であるから補題１と補題３よりω⊂N。
(2)ω⊃Nを示す。
(1)よりω⊂N、系４−１よりN⊂A、合わせてω⊂A、また系２−１よりωは帰納的集合だからω∈M。補題３よりω⊃N。
(1)と(2)より主張は示された。
957: 07/20(日)16:35 ID:2Jr4cGNB(20/29) AAS
>>954-956を以下に訂正（補題４、系４−１は削除）
命題
ω=N
証明
(1)ω⊂Nを示す。
系２−１よりNは帰納的集合であるから補題１と補題３よりω⊂N。
(2)ω⊃Nを示す。
Aは帰納的集合だから補題１と補題３よりω⊂A。加えて系２−１よりωは帰納的集合だからω∈M。補題３よりω⊃N。
(1)と(2)より主張は示された。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.030s