元数学是一门数理逻辑方面的学科，其主要研究对象是数学本身的矛盾性问题。元数学研究的是数理逻辑方面的问题。作为一门科学来说，数理逻辑从19世纪中叶就开始存在了。在这期间，数学基础研究的两个相继时代，由于集论与分析算术化而达到了一个顶峰。但是到了1900年前后出现了新的危机，这是由罗素与怀特黑、希尔伯特与布劳维等所支配的新时代。 1931年哥德尔的两个 不完备性定理 的发表，1933年塔斯基的关于形式语言中“真”这一概念的著作的发表，1934年厄勃朗一哥德尔的“ 一般递归函数 ”概念的提出，1936年与前者有关的邱吉论题的提出，开始了一个更新的时代。在这个时代中，数学工具被应用到评价先前的对话和过去所无法预见的新方向上去了，具体地说就是要研究过去人们所依赖的数学知识是否是无矛盾的。 数学的矛盾性主要是使用集合产生的。希尔伯特提出了一个“直接方法”：由矛盾性的意义得出，即在数学中不能由公理推出矛盾。比如一个命题A及它的否定命题就不能均是数学定理。这样，直接证明数学理论的无矛盾性，就只需证明关于数学理论本身的一些命题。于是，被证明无矛盾的那个数学理论，又变成另一个数学范畴研究的对象，而后一个数学范畴就称为“元数学”。 ^[1] 许多关于 数学基础 与数学哲学的论说都涉及元数学的概念，它们往往不能被当作我们通常所说的“问题”来处理。元数学的基本假设是：数学的内容可以由一个形式系统获得，比如一个序理论或一个公理化集合论。 元数学与数理逻辑休戚相关，因而这两者的发展也大同小异。元数学的发端大概要追溯到弗雷格的工作：《概念文字》。 ^[2] 大卫·希尔伯特 首先引进了带有正则性的“元数学”（metamathematics with regularity）这一说法（见 希尔伯特计划 ）。这也就是现在所说的证明论。另一个重要的现代分支是模型论。这一领域的其他重要人物有：伯特兰·罗素，斯科尔姆（Thoralf Skolem），普斯特（Emil Post），邱奇，克莱尼，蒯因，贝纳瑟拉夫（Paul Benacerraf），普特南，柴汀（Gregory Chaitin），以及最著名的塔斯基和哥德尔。特别地，哥德尔证明了：给定任意有限多条皮亚诺算术的公理，都存在一些正确的命题，无法用所给公理来证明，即所谓的哥德尔不完备定理。某种意义上来说，这一结果是迄今为止元数学与数学哲学的最高成就。 [1] 佟晓强. 元数学对计算机的一些启示[J]. 焦作工学院学报(自然科学版),2002,(01):55-58. [2017-08-30]. ．知网 [引用日期2017-08-30] [2] 陈寿昌. 大卫·希尔伯特简介[J]. 韶关师专学报,1987,(02):43-46. [2017-08-30]. ．知网 [引用日期2017-08-30] [3] 元数学 ．911查询 [引用日期2021-07-06]