[일반] 진짜 궁금한게

[익명(118.235)]

범주론은 집합론을 포함하는게 가능하고

집합론은 범주론을 포함하는게 안되는데

왜 아직까지 ZFC 집합론을 수학의 기초로 쓰는거임?

[Oo(175.193)]

범주론은 네가 말하는 수학의 기초란 게 아닌데?

[익명(153.208)]

루리 책 다 이해는 하고 하는 얘기지?