證明論

證明論是數理邏輯的一個分支 ， 它將數學證明表達爲形式化的數學客體 ， 從而通過數學技術來簡化對他們的分析 。 證明通常用歸納式地定義的數據結構來表達 ， 例如鏈表 ， 盒鏈表 ， 或者樹 ， 它們根據邏輯系統的公理和推理規則構造 。 因此 ， 證明論本質上是語法邏輯 ， 和本質上是語義學的模型論形相反 。 和模型論 ， 公理化集合論 ， 以及遞歸論一起 ， 證明論被稱爲數學基礎的四大支柱之一 。 證明論也可視爲哲學邏輯的分支 ， 其主要興趣在於證明論語義學的思想 ， 該思想依賴於結構證明論的技術型想法纔可行 。