数理逻辑 数理逻辑英語Mathematical logic是数学的一个分支其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统数理逻辑是数学基础的一个不可缺少的组成部分主要的子研究领域有模型论证明论集合论和可计算性理论 数理逻辑的研究范围是逻辑中可被数学模式化的部分以前称为符号逻辑相对于哲学逻辑又称元数学数理逻辑一般着重于研究公理系统的推断能力和表达能力它也包括分析正确的数学推断来构筑数学基础