宋方敏 朱梧槚 肖奚安 顾红芳

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

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