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