>>533は圏論の公理系だけから
環上の加群の圏の性質とかが出て来ると思ってんの？

そこらへんは集合論よりもむしろ具合が悪いと思うけど。
集合論だと一応ZFC乃至BGの中で定義から証明まで全部できるからね。

あと
＞集合論では不都合な定理をしらみつぶしに探し出してそれを証明するしか公理の階層を分析できない
とか書いたら圏論の方が独立性証明が得意だと言っているように読めるけど
そこらへんも寧ろ逆だと思う