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

单词	かいけいりろん【階型理論】
释义	かいけいりろん【階型理論】 [論] 〔theory of types〕ラッセルが集合論のパラドックスを解決するために，存在者の領域とそれを表現する述語に階層構造(タイプ)を設けることを堤唱した理論。タイプ理論。→ラッセルのパラドックス类型论。罗素为解决集合论的悖论，提出在存在者的领域和表现其的谓词上设置层次结构(types)的理论。
随便看	てんじゅこくまんだら【天寿国曼荼羅】てんじょてんじょ【天助】てんじょうてんじょう【天上】てんじょう【天井】てんじょう【殿上】てんじょう【添乗】てんじょう【転乗】てんじょういんてんじょういん【添乗員】てんじょうかいてんじょうかい【天上界】てんじょうかかくてんじょうかかく【天井価格】てんじょうがてんじょうが【天井画】てんじょうがわてんじょうがわ【天井川】てんじょうさじきてんじょうさじき【天井桟敷】てんじょうさじきのひとびとてんじょうさじきのひとびと【天井桟敷の人々】てんじょうしらずてんじょうしらず【天井知らず】