分支类型论 ramified theory of types 分支类型论的意思 ramified theory of types的意思分支类型论的英文

分支类型论

规范用词分支类型论

英文对照ramified theory of types

名词审定数学名词审定委员会

见载刊物《数学名词》科学出版社

公布时间1993年

科学技术名词为您提供分支类型论,ramified theory of types,分支类型论的意思,ramified theory of types的意思,分支类型论的英文,ramified theory of types的翻译,分支类型论的翻译,分支类型论是什么意思,分支类型论什么意思,ramified theory of types是什么意思,ramified theory of types什么意思

分支类型论相关科技名词

集合论»

集合论set theory
描述集合论descriptive set theory
朴素集合论naive set theory
公理化集合论axiomatic set theory
策梅洛-弗兰克尔集合论Zermelo-Frankel set theory
直谓集合论predicative set theory
非直谓集合论impredicative set theory
外延性extensionality
确定性determinacy
投影确定性projective determinacy
佐恩引理Zorn lemma
选择公理axiom of choice
选择函数choice function
归纳序集inductive ordered set
连续统continuum
连续统假设continuum hypothesis
广义连续统假设generalized continuum hypothesis
概括公理comprehension axiom
正则公理regularity axiom
正则集regular set
本元urelement
分支类型论ramified theory of types
隶属关系membership
初步集[合]rudimentary set
平稳集[合]stationary set
良序[的]well-ordered
良序集[合]well-ordered set
良序原则well-ordering principle
序数ordinal
序数和ordinal sum
序数积ordinal product
序数幂ordinal power
超穷序数transfinite ordinal
第一超穷序数first transfinite ordinal
极限序数limit ordinal number
初始序数initial ordinal
初始段initial segment
尾段final segment
有向集directed set
奇异序数singular ordinal

分支类型论 ramified theory of types 分支类型论的意思 ramified theory of types的意思 分支类型论的英文

分支类型论

分支类型论 ramified theory of types 分支类型论的意思 ramified theory of types的意思分支类型论的英文