出处：按学科分类—哲学、宗教 广东人民出版社《哲学辞典》第44页（180字）
(论证的理论)一种研究形式系统和演算的不同性质(无矛盾性、完全性等等)的理论。
“元数学”这一术语是由希尔伯特制定的。这一术语与他的数学基础概念(形式主义)有联系。近年来在这个领域中获得了一系列重要成果(关于形式算术不完全性的哥德尔定理，关于借助这一系统内部的形式化工具证明系统的无矛盾性是不可能的定理，等等)。