证明论 证明论是数理逻辑的一个分支它将数学证明表达为形式化的数学客体从而通过数学技术来简化对他们的分析证明通常用归纳式地定义的数据结构来表达例如链表盒链表或者树它们根据逻辑系统的公理和推理规则构造因此证明论本质上是语法逻辑和本质上是语义学的模型论形相反和模型论公理化集合论以及递归论一起证明论被谁称为数学基础的四大支柱之一 证明论也可视为哲学逻辑的分支其主要兴趣在于证明论语义学的思想该思想依赖于结构证明论的技术型想法才可行