怀特海和罗素 (1927) 设计了一个“类型”的层次结构，目的是为了消除《数学原理》中的自指陈述，《数学原理》旨在从逻辑中推导出所有数学。 最低类型的集合只包含对象（而非集合），次高类型的集合可以只包含对象或较低类型的集合，依此类推。 不幸的是，哥德尔第一不完备性定理表明，《数学原理》和所有一致的形式系统都必然是不完备的。
类型
另请参阅
哥德尔第一不完备性定理, 哥德尔第二不完备性定理, 集合类使用 Wolfram|Alpha 探索
参考文献
Curry, H. B. 数学逻辑基础。 New York: Dover, pp. 21-22, 1977.Ferreirós, J. "罗素的类型理论。" §9.5 in 思想迷宫：集合论的历史及其在现代数学中的作用。 Basel, Switzerland: Birkhäuser, pp. 325-333, 1999.Gonseth, F. "La Théorie des types." §107 in Les mathématiques et la réalité: Essai sur la méthode axiomatique。 Paris: Félix Alcan, pp. 257-259, 1936.Hofstadter, D. R. 哥德尔、埃舍尔、巴赫：永恒的金带。 New York: Vintage Books, pp. 21-22, 1989.Whitehead, A. N. and Russell, B. 数学原理。 New York: Cambridge University Press, 1927.在 Wolfram|Alpha 中被引用
类型请引用为
Weisstein, Eric W. "类型。" 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/Type.html