分支类型论
Branch type theory
以上为机器翻译结果，长、整句建议使用 人工翻译 。
英国著名哲学家、逻辑学家罗素为了使数学的逻辑主义构造能避免出现悖论而发展起来的理论。按照这一理论，首先对集合进行分类，即任何集合必须从属于确定的类；其次，还必须按照定义方式对同一类的集合进行级的划分，即每一集合都属于一定的级。由于及的划分是在类中进行的，因此罗素断言，这样就可以避免悖论。
详细内容
应用推荐
模块上移
模块下移
不移动