なぜ、ZFC公理まで遡らなくても数学が出来るの？

なぜ、ZFC公理まで遡らなくても数学が出来るの？ (123ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞あぼーん

58(2): 11/17(日)07:03 ID:2n2ZlDh9(1/9) AAS
>>55
>>n階算術の体系で証明可能な命題であって、
>>n+1階算術ではより短い証明を持つもの
英語版のWikipediaにこんなこと書かれてないけど？

61(1): 11/17(日)09:38 ID:2n2ZlDh9(2/9) AAS
>>59
>1）まず、wikipedia仏語版が下記だ
そこにも全くそんなこと書かれてないけど？独自解釈すぎ

63(1): 11/17(日)13:20 ID:2n2ZlDh9(3/9) AAS
>>62
つまらん拡張を勝手にやるんなら君が書き換えたら？
英語と君が元にしたって言うフランス語の方をね

64(1): 11/17(日)13:24 ID:2n2ZlDh9(4/9) AAS
×　拡張
○　拡大解釈

67(1): 11/17(日)17:03 ID:2n2ZlDh9(5/9) AAS
多分この人
「一階の述語論理」というただ一つのものがあるって信じてるんじゃないかな

69: 11/17(日)19:38 ID:2n2ZlDh9(6/9) AAS
>>68
いやーそーじゃなくてさ

71: 11/17(日)19:41 ID:2n2ZlDh9(7/9) AAS
ゲーデルの加速定理はあくまで一階における定理だってことを理解すべきかと

75: 11/17(日)20:32 ID:2n2ZlDh9(8/9) AAS
>>73
>その大きな原因の一つが、ZFCの一階述語論理限定だろうと（私的独善と偏見あり）
ぜんぜーんお門違い

76(1): 11/17(日)20:33 ID:2n2ZlDh9(9/9) AAS
>>73
>一方、圏論は一階述語論理に限られないので、流行っていますｗ；ｐ）
それは違くて
お門違いのものが群がってて流行ってるように見えてるだけ