中介公理集合论系统与经典公理集合论系统的关系——形式证明部分
Relationship of MS and ZFC ——The Formal Proof作者机构：南京航空航天大学计算机科学与工程系 南京建筑工程学院基础部 南京大学计算机系软件新技术国家重点实验室
出 版 物：《南京航空航天大学学报》 (Journal of Nanjing University of Aeronautics & Astronautics)
年 卷 期：1997年第29卷第4期
页 面：402-406页
核心收录：
学科分类：07[理学] 0701[理学-数学] 070101[理学-基础数学]
基 金：国家攀登计划 国家高技术"863"计划资助
摘 要：在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。
维普期刊数据库
同方期刊数据库