请输入您要查询的日文单词:

 

单词 かいけいりろん【階型理論】
释义

かいけいりろん階型理論

  • []

    〔theory of types〕ラッセルが集合論のパラドックスを解決するために,存在者の領域とそれを表現する述語に階層構造(タイプ)を設けることを堤唱した理論。タイプ理論。ラッセルのパラドックス类型论。罗素为解决集合论的悖论,提出在存在者的领域和表现其的谓词上设置层次结构(types)的理论。
随便看

 

日汉互译翻译词典包含403511条日汉翻译词条,涵盖了常用日语单词及词组短语的翻译及用法,是日语翻译入门的必备学习工具。

 

Copyright © 2000-2023 Newdu.com All Rights Reserved
更新时间:2025/8/17 23:03:54