本字幕由TME AI技术生成 证明论是数理逻辑的一个分支 它将数学证明表达为形式化的数学课体 从而通过数学技术来简化对他们的分析 证明通常用归纳式的 定义的数据结构来表达 例如链表和链表或者数 他们根据逻辑系统的公理和推理规则构造 因此 证明论本质上是语法逻辑和本质上是与医学的模型论型相反 和模型评论 公理化集合论以及递归论一起 证明论被称为数学基础的四大支柱之一