用語集＞一般用語集＞か＞かいけいりろん【階型理論】

一般用語集

かいけいりろん【階型理論】　一般用語集　か

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