| 经典公理集合论系统与中介公理集合论系统之间的包含关系 |
| |
| 引用本文： | 张东摩,肖奚安.经典公理集合论系统与中介公理集合论系统之间的包含关系[J].数学研究及应用,1997,17(3):475-478. |
| |
| 作者姓名： | 张东摩 肖奚安 |
| |
| 作者单位： | 南京航空航天大学计算机系;空军气象学院数学教研室 |
| |
| 基金项目： | 国家高技术863计划资助. |
| |
| 摘 要： | 本文首先在中介公理集合论系统ＭＳ中构造出Ｐｅａｎｏ自然数系统，以此为基础重新定义了ＭＳ中的良集概念，证明了新定义的良集满足经典公理集合论系统ＺＦＣ－（ＺＦＣ中去掉正则公理的集合论系统）的全部公理，从而说明经典公理集合论系统ＺＦＣ－为中介公理集合论系统ＭＳ的子系统．
|
| 关 键 词： | 公理集合论 中介公理集合论 |
Inclusion Relationship between Classical Axiomatic Set Theory and Madium Axiomatic Set Theory |
| |
| Zhang Dongmo.Inclusion Relationship between Classical Axiomatic Set Theory and Madium Axiomatic Set Theory[J].Journal of Mathematical Research with Applications,1997,17(3):475-478. |
| |
| Authors: | Zhang Dongmo |
| |
| Institution: | Dept. of Computer Sci.; Nanjing University of Aeronautics and Astronautics; 210016;Group of Math.; Meteorological College of the Air Force; Nanjing 210012 |
| |
| Abstract: | |
| |
| Keywords: | axiomatic set theory medium axiomatic set theory |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《数学研究及应用》浏览原始摘要信息 |
| 点击此处可从《数学研究及应用》下载免费的PDF全文 |
