なぜ、ZFC公理まで遡らなくても数学が出来るの？ (154ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
61(1): 11/17(日)09:38 ID:2n2ZlDh9(2/9) AAS
>>59
>1）まず、wikipedia仏語版が下記だ
そこにも全くそんなこと書かれてないけど？独自解釈すぎ
62(2): 11/17(日)12:42 ID:cugt1V1g(3/12) AAS
>>61
>>1）まず、wikipedia仏語版が下記だ
>そこにも全くそんなこと書かれてないけど？独自解釈すぎ
いいかな
”fr.wikipedia
（google訳）ゲーデルの加速定理
非公式の説明
クルト・ゲーデルは、第一不完全性定理の証明を応用して、与えられた形式体系で証明可能であるが、その体系における最短の証明が異常に長い、比較的短い主張の明示的な例を構築しました”
ここで
繰り返すが>>59
省24
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.965s*