證明論
證

證明論　　　zhèng míng lùn

研究數(shù)學(xué)系統(tǒng)的邏輯結(jié)構(gòu)和證明規(guī)律的學(xué)科。其目的是為了證明數(shù)學(xué)系統(tǒng)的公理的*協(xié)調(diào)性。由*希爾伯特首先提出。內(nèi)容主要包括系統(tǒng)的協(xié)調(diào)性（亦稱“無矛盾性”）、完全性和判定問題等。證明論經(jīng)過哥德爾和根岑(Gerhard Gentzen, 1909—1945)等人的研究而得到發(fā)展，成為數(shù)理邏輯和數(shù)學(xué)基礎(chǔ)的重要分支。