證明論數理邏輯的一個分支,它將數學證明表達為形式化的數學客體,從而通過數學技術來簡化對他們的分析。證明通常用歸納式地定義的數據結構來表達,例如鍊表,盒鍊表,或者樹,它們根據邏輯系統的公理推理規則構造。因此,證明論本質上是語法邏輯,和本質上是語義學的模型論形相反。和模型論公理化集合論,以及遞歸論一起,證明論被[誰?]稱為數學基礎四大支柱之一。

證明論也可視為哲學邏輯的分支,其主要興趣在於證明論語義學的思想,該思想依賴於結構證明論的技術型想法才可行。

表系統

編輯

表系統使用結構證明論的解析證明的中心思想來為一大類的邏輯提供決策或者准決策進程。

序分析

編輯

序分析是為形式化算術和分析的理論提供組合式自洽性證明的有力技術。

亞結構邏輯

編輯

參看

編輯

參考文獻

編輯