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