韦世林 丁琨 张无畏 代贤军 王永江 黄燕玲 许晓根 王鹏飞 代光林

可拓数学 哥德尔 研究的对象 数学家 相似性 类概念 属性 极大元 相互支撑 类比 数理逻辑 可拓集合论 无限集 数学哲学 元素 命题逻辑 公理 公理系统 相异相通 半序关系 公理化 互模拟 辩证逻辑 最大元 运算 模拟理论 数学本体论 集合体 完备格 美学