广义的元数学指以数学各分科整体作为研究对象，探究其可公理化问题或公理的协调性、可靠性、完全性、独立性和判定问题的学科。狭义的元数学指*证明论。