日语词汇“かいけいりろん【階型理論】”的翻译、意思、用法、释义-日汉互译翻译词典

单词	かいけいりろん【階型理論】
释义	かいけいりろん【階型理論】 [論] 〔theory of types〕ラッセルが集合論のパラドックスを解決するために，存在者の領域とそれを表現する述語に階層構造(タイプ)を設けることを堤唱した理論。タイプ理論。→ラッセルのパラドックス类型论。罗素为解决集合论的悖论，提出在存在者的领域和表现其的谓词上设置层次结构(types)的理论。
随便看	貸し切り貸し切る貸し売り貸し室貸し家貸し家·貸し屋貸し家札貸し屋貸し席貸し座敷貸し手貸し料貸し方貸し本貸し渋り貸し衣様貸し賃貸し越し貸し越す貸し金貸し金庫貸し間貸す貸す·藉す貸与