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

一般用語集


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


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


一般用語集 五十音順