- 中文名
- 证明
- 外文名
- Prove
- 类 型
- 数学术语
- 归纳推理
- experimental mathematics
- 适用范围
- 数理科学
定义
播报编辑
(1)据实以明真伪。
颜师古注：“证明定狼壳，明其伪也。”
(2)参悟。
《老残游击誉记续集遗稿》第五回：“又阀胶胶问道：‘你是几时澈悟到这步田地的呢？’逸云道：‘也不过这一二年。’德夫人道：‘怎么便会证明到这地步呢？’”
(3跨榆愚)证人桨断遥判或证据。
(4)证明身抹体击份或权力的文件。
赵树理《登记》：“我听说他们两个要到区上登记，村公所不给开证明。”
(6)真与可证是两个概念。可证的一定是真的，但真的不一定可证。 [1]
证明论
播报编辑
证明论（Prooftheory）是研究数学证明的数学理论，它是数理逻辑的分支学科。它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根据逻辑系统的公理和推理规则构造。因此，证明论本质上是语法逻辑，和本质上是语义学的模型论形相反。和模型论，公理化集合论，以及递归论一起，证明论被称为数学基础的四大支柱之一。
