|
|||||
|
|
| 中介公理集合论系统与经典公理集合论系统的关系——形式证明部分 | |
| 引用本文： | 张东摩,施庆生,姜宁根.中介公理集合论系统与经典公理集合论系统的关系——形式证明部分[J].南京航空航天大学学报,1997(4). |
| 作者姓名： | 张东摩 施庆生 姜宁根 |
| 作者单位： | 南京航空航天大学计算机科学与工程系(张东摩)，南京建筑工程学院基础部(施庆生)，南京大学计算机系软件新技术国家重点实验室(姜宁根) |
| 基金项目： | 国家攀登计划,国家高技术“863”计划资助 |
| 摘 要： | 在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。 |
| 关 键 词： | 数理逻辑 集合论 公理集合论 中介公理集合论 良集 |
| 本文献已被 CNKI 等数据库收录！ | |