懷特海和羅素 (1927) 設計了一個“型別”的層次結構，目的是為了消除《數學原理》中的自指陳述，《數學原理》旨在從邏輯中推匯出所有數學。 最低型別的集合只包含物件（而非集合），次高型別的集合可以只包含物件或較低型別的集合，依此類推。 不幸的是，哥德爾第一不完備性定理表明，《數學原理》和所有一致的形式系統都必然是不完備的。
型別
另請參閱
哥德爾第一不完備性定理, 哥德爾第二不完備性定理, 集合類使用 探索
參考文獻
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.在 中被引用
型別請引用為
Weisstein, Eric W. "型別。" 來自 —— 資源。 https://mathworld.tw/Type.html