元理論

對作為一個整體的數學理論的內在結構的研究。它涉及根據特定理論的物件被組合和連結的規則的一般屬性，以及其論證所依據的推理原則。在描述理論的語言時，元理論必須求助於位於更高層次的不同語言，因為理論的術語和符號是從上方觀察的，作為要描述和關聯的物件。因此，這種新語言通常被稱為元語言。