|
|||||
|
|
| MS中的自然数系统 | |
| 引用本文： | 张东摩,施庆生.MS中的自然数系统[J].南京航空航天大学学报,1997,29(2):179-184. |
| 作者姓名： | 张东摩 施庆生 |
| 作者单位： | [1]南海航空航天大学计算机科学与工程系 [2]南京建筑工程学院基础部 |
| 基金项目： | 国家攀登计划,国家高技术863计划资助 |
| 摘 要： | 首先给出了中介逻辑ＭＬ的二值子系统Ｆ＾ＩＭＬ，说明了它与经典二值逻辑的子系统Ｆ＾Ｉ同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为公理、并以Ｆ＾ＩＭ为配套逻辑，在ＭＳ中可推出自然数的所有性质。 |
| 关 键 词： | 数理逻辑 自然数系统 公理集合论 中介逻辑 |
Natural Number System in MS |
|
| Zhang Dongmo , Shi Qingsheng Jiang Ninggen Zhu Wujia.Natural Number System in MS[J].Journal of Nanjing University of Aeronautics & Astronautics,1997,29(2):179-184. | |
| Authors: | Zhang Dongmo Shi Qingsheng Jiang Ninggen Zhu Wujia |
| Institution: | Zhang Dongmo 1,3 Shi Qingsheng 2 Jiang Ninggen 1 Zhu Wujia 1,3 |
| Abstract: | |
| Keywords: | mathematical logic mathematical theories natural number system axiomatic set theory medium logic axiomatic medium set theory |
| 本文献已被 CNKI 维普 等数据库收录！ | |