It has proved that well sets completely satisfy all axioms of ZFC -(the classical system of axiomatic set theory ZFC without the regular axiom).
在中介公理集合论系统(MS)中重新定义了良集的概念,讨论了它的性质。
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.
其次,利用中介公理集合论MS的相关理论,构造了MS中的自然数系统,证明了Peano5条公理为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.
在中介公理集合论系统(MS)中重新定义了良集的概念,讨论了它的性质。
本网站所收集内容来自网友分享仅供参考,实际请以各学校实际公布信息为主!内容侵权及错误投诉:1553292129@qq.com
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号