非直谓集合论 impredicative set theory 非直谓集合论的意思 impredicative set theory的意思非直谓集合论的英文

非直谓集合论

规范用词非直谓集合论

英文对照impredicative set theory

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

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

公布时间1993年

科学技术名词为您提供非直谓集合论,impredicative set theory,非直谓集合论的意思,impredicative set theory的意思,非直谓集合论的英文,impredicative set theory的翻译,非直谓集合论的翻译,非直谓集合论是什么意思,非直谓集合论什么意思,impredicative set theory是什么意思,impredicative set theory什么意思

非直谓集合论相关科技名词

集合论»

集合论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

非直谓集合论 impredicative set theory 非直谓集合论的意思 impredicative set theory的意思 非直谓集合论的英文

非直谓集合论

非直谓集合论 impredicative set theory 非直谓集合论的意思 impredicative set theory的意思非直谓集合论的英文