超理论

超理论,一个理论的主题是另一种理论。发现证明在前处理后者称为元定理。

提供的超理论是最著名的例子大卫希尔伯特德国数学家,他在1905年开始着手构建一个基本的一致性的证明数学。为此,他需要一个理论,研究数学和数学证明作为调查对象。尽管定理证明于1931年库尔特·哥德尔Moravian-U.S。数学逻辑学家,不太可能,希尔伯特的计划能否成功,他的元数学成为卓有成效的研究的先驱。从1920年代末鲁道夫Carnap著名哲学家的科学和语言,扩展这一调查,在标题下元逻辑和逻辑语法一般,形式化语言的研究。

在讨论一个形式化的语言通常需要使用一个第二,更强大的语言。前者被称为目标语言,而第二个是其元语言。