axiomatic set theory
翻译:公理化集合论
同义词
1)axiomatic set theory,公理化集合论2)axiomatic set theory,公理集合论3)Axiom set theory,公理集合论4)axiomatic medium set theory,中介公理集合论5)Modern axiomatic set theory,近代公理集合论6)axiomatic set theory,公理论的集论;公理集合论英汉例句
It has proved that well sets completely satisfy all axioms of ZFC -(the classical system of axiomatic set theory ZFC without the regular axiom).
在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。
Secondly, by using of the medium axiomatic set theory (MS), a natural number system in MS is constructed, and it is proved that five axioms of Peano′s natural number system are theorems is MS.
其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。
It is well known that first-order logic and axiom set theory are two part of the whole mathematical logic.
众所周知,一阶逻辑与公理集合论是数理逻辑的两个组成部分,其中,一阶逻辑是数理逻辑的基础部分。
Defines the concept of well sets in MS(axiomatic medium set theory) and discusses its characters.
在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。