证明论，证明论,zhengminglun，证明,zhengminglun，[拼音]：zhengminglun[外文]：proof theory数理逻辑的一个分支，以数学证明为研究对象的数学理论。逻辑学中关于证明的研究由来已久。亚里士多德《工具论》一书中的 《分析后篇》就是讨论有关证明的问题的，并且他是以古希腊时期的数学中所用到的证明作为研...
