We know that the simple theory of types have already eliminated Russell paradox, but why Russell introduced the theory of order types .

  • 指出简单类型论已经消除了罗素悖论,但为什么罗素要引入很少有人接受的分支类型论呢?
目录 查词历史