>>257
>現代数学の柱のひとつである圏論にはそれが絶対必要だから。
必要とまでは言えないのではないかな
グロタン宇宙考えてその中でやりたいことが賄える
でも集合だから矛盾になりにくい
みたいな便利な考え方にすぎないと思う
圏論自体はV=Lであっても困らないと思うよ