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

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