[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ5 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
360
(1): 2023/07/04(火)20:58 ID:mrIl8A04(1/4) AAS
>>358
ID:xZu413TUは未成熟
365
(1): 2023/07/04(火)21:34 ID:mrIl8A04(2/4) AAS
>>340
>>>274
>>>n階算術の体系で証明可能な命題であって、
>>>n+1階算術ではより短い証明を持つものが存在する
>> n階算術の体系の証明可能な命題の証明の長さは
>> n→∞のとき有界であるとは思えない。
>ω階算術も形式的体系だから
省5
366: 2023/07/04(火)21:38 ID:mrIl8A04(3/4) AAS
>>363
>>ギャハハハハハハ!!!(嘲)

断末魔
368
(1): 2023/07/04(火)22:38 ID:mrIl8A04(4/4) AAS
>>367

>>ていうかなんで定義示さないの?自分が何言ってるか自分でも分かってないっ>>てこと?

そういう疑問を自分で解決できないわけ?
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.028s