[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ5 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
270: 2023/07/03(月)07:04 ID:f05x76gn(1/2) AAS
>>269
背理法で
「もしそうだったら」
と考えてみよう
274(3): 2023/07/03(月)08:12 ID:f05x76gn(2/2) AAS
>>それはn階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明>>を持つものが存在するというものである。
そのn階算術の体系の証明可能な命題の証明の長さの最小値は
n→∞のとき有界であるとは思えない。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s