一般用語集
用語集
一般用語集
か
一般用語集
か
かいけいりろん【階型理論】
項目
かいけいりろん【階型理論】
意味
〔theory of types〕〔論〕 ラッセルが集合論のパラドックスを解決するために，存在者の領域とそれを表現する述語に階層構造（タイプ）を設けることを提唱した理論。タイプ理論。→ラッセルのパラドックス