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

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

41: 11/16(土)11:39 ID:mrE0Pgyn(1/3) AAS
>>15
圏論はまさにBG集合論の上に定義されている
ZFCでも十分

42(1): 11/16(土)11:41 ID:mrE0Pgyn(2/3) AAS
>>18
一階の述語論理はZFCのようなもの
二階のはBGのようなものかなとも

44: 11/16(土)11:45 ID:mrE0Pgyn(3/3) AAS
>>36
それ結局全部考えたほうが楽だし
型はその中のステージと見たほうが良いよな