Inter-universal geometry と ABC予想 (応援スレ) 74 (883ﾚｽ)
上下前次1-新
746: 09/04(木)14:39 ID:ggAcMhRe(3/4) AAS
>>738
＞ゲーデルの加速定理
＞『n階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明を持つものが存在する』
「n階算術の体系で証明可能な任意の命題は、n+1階算術ではより短い証明を持つ」ではないことに注意
まあ、そもそも ◆yH25M02vWFhP は「０階論理」（命題論理）レベルだけどな
＞時代は、
＞脱一階述語論理
省15
上下前次1-新書関写板覧索設栞歴
あと 137 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s