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

なぜ、ZFC公理まで遡らなくても数学が出来るの？ (117ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

24: 11/14(木)08:30:05.50 ID:0kbJwUem(4/4) AAS
>>15
本来の二階算術は形式化できない　形式化された二階算術は本来の二階算術より弱い
ついでにいうと、圏論は別に集合論を拡張するために出来たものではない

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