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

单词	かいけいりろん【階型理論】
释义	かいけいりろん【階型理論】 [論] 〔theory of types〕ラッセルが集合論のパラドックスを解決するために，存在者の領域とそれを表現する述語に階層構造(タイプ)を設けることを堤唱した理論。タイプ理論。→ラッセルのパラドックス类型论。罗素为解决集合论的悖论，提出在存在者的领域和表现其的谓词上设置层次结构(types)的理论。
随便看	look look down looks loop loop antenna loop carpet loophole loose loose leaf Lope de Vega Lope Félix de Vega Carpio Lope Flix de Vega Carpio loran LORAN loran[ロラン] Lord Lord Alexander Robertus Todd Lord Dunsany Lorelei Lorenzo Ghiberti loris Los Alamos Los Angeles loss loss leader