元数学

✍ dations ◷ 2025-12-08 19:07:03 #元数学

元数学（英语：Metamathematics），又译为超数学，使用数学技术来研究数学本身的一门学科。一般来说，元数学是一种将数学作为人类意识和文化客体的科学思维或知识。更进一步来说，元数学是一种用来研究数学和数学哲学的数学。“数学的数学”是于19世纪初由通常的数学分离出来的，它最初研究的对象是在所谓的数学危机。将二者混为一谈会导致一些矛盾，典型例子有理查德悖论。比如说，元数学的主题之一就是：分析某些数学要素是否在任意的数学系统中都是可证实或者证伪的。许多关于数学基础与数学哲学的论说都涉及元数学的概念，它们往往不能被当作我们通常所说的“问题”来处理。元数学的基本假设是：数学的内容可以由一个形式系统获得，比如一个序理论或一个公理化集合论。元数学与数理逻辑休戚相关，因而这两者的发展也大同小异。元数学的发端大概要追溯到弗雷格的工作：《概念文字》。大卫·希尔伯特首先引进了带有正则性的“元数学”（metamathematics with regularity）这一说法（见希尔伯特计划）。这也就是现在所说的证明论。另一个重要的现代分支是模型论。这一领域的其他重要人物有：伯特兰·罗素，斯科尔姆（Thoralf Skolem），普斯特（Emil Post），邱奇，克莱尼，蒯因，贝纳瑟拉夫（Paul Benacerraf），普特南，柴汀（Gregory Chaitin），以及最著名的塔斯基和哥德尔。特别地，哥德尔证明了：给定任意有限多条皮亚诺算术的公理，都存在一些正确的命题，无法用所给公理来证明，即所谓的哥德尔不完备定理。某种意义上来说，这一结果是迄今为止元数学与数学哲学的最高成就。

相关

KCNH21BYW, 1UJL, 2L0W, 2L1M, 2L4R, 2LE7, 4HP9, 4HQA· inward rectifier potassium channel activity · voltage-gated potassium channel activity · delayed rectifier
ICD-9编码列表 (710–739)Template:DorsopathiesTemplate:Disorders of subcutaneous fat Template:Osteochondropathy Template:Acquired deformities
泌尿系统泌尿系统（英语：Urinary system），有时也归类于排泄系统（英语：Excretory system）（Excretory system）的一部分，负责尿液的产生、运送、储存与排泄。人类的泌尿系统包括左右两颗肾脏、左右
大环内酯类抗生素大环内酯（macrolides），或称大环内酯，是一组其作用在于结构内的“大环”的药物（一般都是抗生素），这个大环亦即是一连结一个或多个脱氧糖（多是红霉糖（英语：cladinose）及去氧糖胺（英语：desos
盘菌纲盘菌纲（英文：Pezizomycetes）是一个隶属于真菌下子囊菌门的一个纲。医学导航 · 真菌病真菌 · 分类疾病药物（抗真菌药）
T淋巴球T细胞（英语：T cell、T lymphocyte）是淋巴细胞的一种，在免疫反应中扮演着重要的角色。T是胸腺（thymus）而不是甲状腺（thyroid）的英文缩写。T细胞在骨髓被制造出来之后，在胸腺内进行“新
奥曲肽奥曲肽（学名体抑素胜肽）是一种肽。它是天然生长激素、胰高血糖素和胰岛素，但在药理上模仿了天然的体抑素。它是由化学家Wilfried Bauer于1979年首次合成的。奥曲肽会用于治疗产
ST时段上升ST段上升（ST elevations）描述的是心电图中ST节段较基准线异常上升的征象。若肢导极在J点（英语：J-point）后0.04秒的基准线上升大于 0.1 mV （一小格），或胸前导程基准线上升大于 0.2 mV
雷焦卡拉布里亚雷焦卡拉布里亚（意大利语：Reggio Calabria）位于意大利南部墨西拿海峡沿岸，是卡拉布里亚大区最大城市和历史最悠久的城市，也是雷焦卡拉布里亚省的首府，人口190,127（2005年）。雷焦卡拉
价值论价值论 (来自古希腊语 ἀξίᾱ, axiā, "价值"; 以及-λόγος, 理性) 价值观的哲学研究。价值论同时可以用在伦理学以及美学上—亦即高度重视价值观念的哲学领域—或者