| 经典公理集合论系统与中介公理集合论系统之间的包含关系 |
| |
| 引用本文： | 张东摩,肖奚安. 经典公理集合论系统与中介公理集合论系统之间的包含关系[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 |
| |
| Affiliation: | 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 维普 等数据库收录！ |
| 点击此处可从《数学研究及应用》浏览原始摘要信息 |
|
点击此处可从《数学研究及应用》下载全文 |
