哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
theory of types 类型论 type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- gravitational double star
- gravitational drift
- gravitational effect
- gravitational encounter
- gravitational energy
- gravitational equilibrium
- gravitational field
- gravitational field of inversion of gravity gradient field
- gravitational focusing
- gravitational force
- gravitational freeze-out
- gravitational heat pipe
- gravitational instability
- gravitational interaction
- gravitational lens
- gravitational lens effect
- gravitational lensing
- gravitational lensing effect
- gravitational mass
- gravitational metaphor
- gravitational micro-lens
- gravitational micro-lensing
- gravitational paradox
- gravitational potential
- gravitational potential energy