證明論，也稱為元數學，是對數學和數學推理（Hofstadter 1989）本身在一般和抽象意義上的研究。它不是研究特定數學理論的物件，而是研究數學理論本身，特別是關於它們的邏輯結構。它主要關注定理從公理中推匯出來的方式。
證明論
另請參閱
邏輯, 數學, 元定理, 證明此條目的部分內容由 Margherita Barile 貢獻
使用 探索
參考文獻
Birkhoff, G. 和 Mac Lane, S. 現代代數概覽，第 5 版。 紐約: Macmillan, p. 326, 1996.Chaitin, G. J. 不可知。 紐約: Springer-Verlag, 1999.Hofstadter, D. R. 哥德爾、埃舍爾、巴赫：永恆的金辮帶。 紐約: Vintage Books, p. 23, 1989.在 中被引用
證明論請引用為
Barile, Margherita 和 Weisstein, Eric W. “證明論。” 來自 Web 資源。 https://mathworld.tw/ProofTheory.html