[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）11 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
534: 2022/12/10(土)07:41 ID:meH3MbbN(2/35) AAS
>>532
選択公理がZFにおける決定不能命題であることが
強制法(forcing)によって証明された
ってことですよね
リーマン予想が数論における決定不能命題であると
強制法によって示せるかどうかは知りませんな
上下前次1-新書関写板覧索設栞歴
あと 468 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s