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.
在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。