Inter-universal geometry と ABC予想 (応援スレ) 74 (972ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
729: 09/04(木)11:28 ID:ggAcMhRe(1/4) AAS
>>727-728 大学１年の一般教養の数学で落第した高卒には生涯無縁だから諦めて碁でも打ってろ
734(1): 09/04(木)12:42 ID:ggAcMhRe(2/4) AAS
「圏を一階述語論理で公理化する」で検索してな
746: 09/04(木)14:39 ID:ggAcMhRe(3/4) AAS
>>738
＞ゲーデルの加速定理
＞『n階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明を持つものが存在する』
「n階算術の体系で証明可能な任意の命題は、n+1階算術ではより短い証明を持つ」ではないことに注意
まあ、そもそも ◆yH25M02vWFhP は「０階論理」（命題論理）レベルだけどな
＞時代は、
＞脱一階述語論理
省15
747: 09/04(木)14:43 ID:ggAcMhRe(4/4) AAS
>>735
>数とは何か 何であるべきか
>それはいろいろあるらしい
>（例えば高木貞治の数の基礎に関する三部作（多分 これはZFCベースではないだろうね））
読みもせずに勘違い妄想する
万年高卒◆yH25M02vWFhP
>数学は、数やいろいろの概念の拡張の歴史でもあるだろう
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s