なぜ、ZFC公理まで遡らなくても数学が出来るの？ (117ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
58(2): 11/17(日)07:03:37.55 ID:2n2ZlDh9(1/9) AAS
>>55
>>n階算術の体系で証明可能な命題であって、
>>n+1階算術ではより短い証明を持つもの
英語版のWikipediaにこんなこと書かれてないけど？
90(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/19(火)17:51:50.55 ID:BeCYz6gT(3/4) AAS
>>89
>＞２階算術とかいっぱいあるでしょ
> ２階算術に置換公理はないよ 知らないの？ ド素人だねえｗ
ど素人が
必死論点ずらし
笑えるぞｗ ；ｐ）
ZFC 1階述語論理とか
基礎論プロにしたら
オワコンもいいところｗｗ
田中 一之先生 >>87 の通り
省13
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.831s*