圏論の定式化が、ZFC で十分という話を聞いたことがあります。 僕の経験からすると、その通りです。 ただ、圏論の定式化は、BGC、もしくは BGE の方がやりやすいです。 もちろん、BGE は ZFC の保存拡大ですから、 最終的には ZFC の言葉で記述できます。 （…