朱梧槚 顾红芳 宋方敏 宫宁生 张东摩

对角线方法 实无穷 自然数系统 公理集合论 潜无穷 直觉主义

南京航空航天大学信 中国人民解放军理工大学理学院 南京工业大学信息科学与工程学院 南京航空航天大学信息科学与技术学院 南京大学计算机软件新技术国家重点实验室 南京航空航天大学信息科学与技术学院南京 南京大学计算机软件新技术国家重点实验室南...