张水良 王左立 巩子坤 邓先礼 李忠如 濮方平 梁彪 周敏 张清宇 曾庆福 霍书全

完全性定理 近代公理法 自然推理系统 真理 发散思维 从属推演 语义学 会计学 数学教育 模式 完备性 形式系统 辩证逻辑 相容性 强完全性 同一律 弱完全性 独立性 完全性 意义 企业会计 一致性 规则DDO 卡尔纳普 数学理论 二重性 人类认识史 J函项 范式 变形规则