元理论

对作为一个整体的数学理论的内在结构的研究。它涉及根据特定理论的对象被组合和链接的规则的一般属性，以及其论证所依据的推理原则。在描述理论的语言时，元理论必须求助于位于更高层次的不同语言，因为理论的术语和符号是从上方观察的，作为要描述和关联的对象。因此，这种新语言通常被称为元语言。