找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 证明论
证明论（Proof theory），是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根据逻辑系统的公理和推理规则构造。因此，证明论本质上是语法逻辑，和本质上是语义学的模型论形相反。和模型论，公理化集合论，以及递归论一起，证明论被称为数学基础的四大支柱之一。证明论也可视为哲学逻辑的分支，其主要兴趣在于证明论语义学的思想，该思想依赖于结构证明论的技术型想法才可行。 — 拼音 zhèng míng lùn，更新 2026-07-11 01:13:20
| 拼音 | zhèng míng lùn |
|---|---|
| 拼音字母 | zheng ming lun |
| 首字母 | zml |
| 注音 | ㄓㄥˋ ㄇㄧㄥˊ ㄌㄨㄣˋ |
| 注音符号 | ㄓㄥ ㄇㄧㄥ ㄌㄨㄣ |