|
|||||
|
|
| 中介公理集合论系统与经典公理集合论系统的关系——形… | |
| 引用本文： | 张东摩,施庆生.中介公理集合论系统与经典公理集合论系统的关系——形…[J].南京航空航天大学学报,1997,29(4):402-406. |
| 作者姓名： | 张东摩 施庆生 |
| 作者单位： | [1]南京航空航天大学计算机科学与工程系 [2]南京建筑工程学院基础部 |
| 摘 要： | 在中介公理集合论系统中重新定义了良集的概念，讨论了它的性质，证明良集完全满足经典满足经典公理集合论系统的全部公理，且其配套的逻辑系统恰为中介的二值子系统ＦＭＬ，说明整个经典数字也能奠基于ＭＳ之上，从而最终回答了中介数字与经典数学的包含关系问题。 |
| 关 键 词： | 数理逻辑 集合论 中介公理集合论 良集 |
| 本文献已被 维普 等数据库收录！ | |