罗素的替代理论
Russell’s Substitutional Theory

在1903 年到1908 年间，罗素提出、发展并最终放弃了一种悖论解答方案——替代理论。罗素从摹状词理论中得到启示：悖论源自虚假抽象。替代理论的基本概念“替代”可以避免虚假抽象，通过使用替代运算来定义类和自然数，替代理论在一定程度上获得了成功。然而替代悖论的发现促使罗素最终放弃了替代理论，并走向了分支类型论。