经典公理集合论系统与中介公理集合论系统之间的包含关系 (1997年) 时间:2021-05-15 11:58:45 【文件属性】: 文件名称:经典公理集合论系统与中介公理集合论系统之间的包含关系 (1997年) 文件大小:145KB 文件格式:PDF 更新时间:2021-05-15 11:58:45 自然科学 论文 摘要本文首先在中介公理集合论系统中构造出自然数系统,以此为基础重新定义了中的良集攒念,证明了新定义的良集满足经典公理集合仑系统中去掉正则公理的集合论系统)的全苦 立即下载