证明论

音义

广训

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

组词

证 明 论

相关

• 丛林人
• 东璧龙珠
• 众所周知
• 军事气象情报
• 大问题
• 小王村
• 平泉路街道
• 徐太平
• 张付贵
• 恋栈不去
• 最美丽的夏天
• 李志学
• 李秀芳
• 李玉娜
• 欧田
• 淡若樱舞
• 热情仲夏
• 游动接合孢子
• 爱是个错
• 甜蜜费
• 王恒书
• 特长指蛛
• 石国利
• 磨蚀性
• 等风速线
• 科学学教程
• 禾串树
• 迎春苑
• 近无刺苍耳
• 长花流苏树
• 长柱鹿药
• 错过的战争
• 高山兔儿伞
• 贺州温泉
• 明征君碑
• 文登区
• 古木望
• 千变羽翼
• 情侣毛衣
• 追求风险
• 石志
• 科达布犬
• 圆周率日
• 香酥芝麻烧饼
• 大卫雕像
• 左公柳
• 幕下力士
• 附子草
• 阿克斯一号
• 五室五桠果