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