[過去ﾛｸﾞ] 数学＞＞＞＞物理 (412ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
21(1): 2011/05/25(水)00:31 ID:??? AAS
>>20
> >>19
> > 選択公理がウソっぽい。ウソを公理にしてウソを導いただけかと。
20に１点だけ書き忘れたので補足しておく。
選択公理自体の「信頼性」、つまり選択公理を採用した集合論公理系の無矛盾性については、決定性公理を採用するよりもずっと高い。
選択公理を採用した集合論公理系をＺＦＣと書きそれから選択公理を除いた公理系をＺＦと書く事にすると、
ＺＦが無矛盾 ならば ＺＦＣは無矛盾
という事が証明されている。
つまり公理系の無矛盾性という集合論に対する信頼性に関して、選択公理は悪さを全くしないという事が保証されている。
決定可能性公理では上記に相当する事、つまり
ＺＦが無矛盾 ならば ＺＦ＋決定性公理は無矛盾
という事は証明できない。
この意味で、決定性公理は選択公理よりもずっと怪しい、あるいは危ない公理と言っても良い。
上下前次1-新書関写板覧索設栞歴
あと 391 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.178s*