[计]?类型论
2、类型论(the Theory of Types): 这是罗素解决罗素悖论以及一般悖论的一个方案。它涉及大量技术细节,但中心思想十分简单。
?类型说
直觉主义者以直觉之实现而继续前进,其法固足以消灭诡论,但《算理》中的类型说(theory of types)亦足以解决诡论而有馀。而何况这种诡论根本不成其为诡论!
分歧类型论 ; 类型分歧论 ; 支分类型论
简单类型论
类型论
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。