1+1=2 为什么必须依赖公理？从直觉推导的循环、弗雷格的失败、到用万有性质代替内部描述——范畴论没有绕开公理，但给了它一个更干净的接口。