[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
79: 11/03(月)19:19 ID:u7vdmd1+(11/14) AAS
強制法でできること
公理系Aのモデルが存在するとして、
それに公理Bを追加した場合のモデルの存在が示せることがある
「公理系のモデルが存在しない」と「公理系が矛盾する」の同値性から、対偶をとれば
公理系Aに公理Bを追加した場合に矛盾が証明できるとして
その場合、公理系Aのみから矛盾が証明できることがいえる場合がある
そう考えると、強制法はそんなにミラクルなことをしてるわけではない（笑）
上下前次1-新書関写板覧索設栞歴
あと 923 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s