李斌 卢素魁 李建华 陈韬略 吕建 李红革 何锫 孙明湘 曹志平

代数 表达式元性理论 数学概念 过半可信原则 有效性 强标准化 Triple Ⅰ) 音乐 语义解释 冯·赖特 形状型 一致性 哥德尔定理 形状 不可判定 科学 判定 根 解释限度 范畴 推理形式 逻辑模式 一阶谓词演算 历史发展 逻辑学家 形式化 技术伦理学 数理逻辑 可思议 逻辑学