元定理 在邏輯上元定理是一個以元語言的對於形式系統的陳述和在一個形式系統內證明的定理不同元定理是在元理論中證明的且可能涉及元理論中存在但在對象理論中不存在的概念 一個形式系統是由元語言和演繹系統公理及推理規則所決定的這形式系統可用於證明系統中以形式語言表達的特定陳述然而元定理要以元定理系統以外的事物進行證明而常見的元定理包括了集合論尤其在模型論中及原始歸納算術英语Primitive recursive arithmetic尤其在證明論中等等此外比起顯示特定的陳述可證明元定理更常顯示說一大類的陳述是可證明的或特定陳述是不可證明的