証明論（英語:prooftheory）は、数理論理学の一分野であり、証明を数学的対象として形式的に表し、それに数学的解析を施す。
证明论是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。