朱梧槚 宫宁生 顾红芳 肖奚安

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

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