元理论

以形式语言、形式系统和它们的解释为对象的理论。主要研究形式系统的一致性、完全性，可判定性以及公式集的独立性等等。模型论和证明论属于元理论。

元理论metatheory

以理论为研究对象进行探索和反思的理论。元理论研究最早出现在西方国家。“元”的西文为“meta”，意即“……之后”、“超越”。它与某一学科名相连所构成的名词（如元心理学），意味着一种更高级的逻辑形式。具体又可区分为两层含义： 一层含义是指这种逻辑形式具有超验、思辨的性质；另一层含义是，这种新的更高一级的逻辑形式，将以一种批判的态度来审视原来学科的性质、结构以及其他种种表现。