证明论

证明论，也称为元数学，是对数学和数学推理（Hofstadter 1989）本身在一般和抽象意义上的研究。它不是研究特定数学理论的对象，而是研究数学理论本身，特别是关于它们的逻辑结构。它主要关注定理从公理中推导出来的方式。