证明理论，也称为元数学，是对数学和数学推理（霍夫施塔特，1989年）。它不是研究特定数学理论的对象，而是研究数学理论，尤其是关于其逻辑结构的理论。它主要集中于从公理导出定理的方式。
另请参见
逻辑,数学,元定理,证明
本条目的部分内容由玛格丽塔巴里尔
与Wolfram一起探索| Alpha
参考文献
G.Birkhoff和S.Mac Lane。《现代代数概论》，第5版。纽约：麦克米伦出版社，第326页，1996年。查廷，G·J。这个未知。纽约：Springer-Verlag，1999年。D.R.霍夫斯塔特。哥德尔，巴赫·埃舍尔：永恒的金辫子。纽约：复古图书，第23页，1989参考Wolfram | Alpha
证明理论
引用如下：
玛格丽塔·巴里尔和埃里克·魏斯坦（Eric W.Weisstein）。“证明理论”，摘自数学世界--一只狼Web资源。https://mathworld.wolfram.com/ProofTheory.html
主题分类
