simple theory of types

数学词汇英语翻... ... simple tangent 单切线 simple theory of types 简单类型论 simple transcendental extension 单超越扩张 ...

样式的简单理论 (simple theory of types) 即为其中一种方法。[i]依此理论，所有存在物皆归类为一样式层级。