张华夏 齐磊磊 张晚林 蒋星耀 刘二中 史习 欧阳耿

真理 综合 模型 结构实在论 逻辑 统一模式定理 命题逻辑 康托 数学家 彭加勒 同构实在论 分析的 悖论 步位 反对角线集合 类 同构同态 纯理 爱因斯坦 弗雷格 诡辩 达尔文 逻辑学 涵义 对角线法 遗产 埃文斯 牟宗三 汽车旅馆 床头柜