形式系统

✍ dations ◷ 2025-04-24 20:47:28 #形式系统

在逻辑与数学中，一个形式系统（英语：Formal system）是由两个部分组成的，一个形式语言加上一个推理规则或转换规则的集合。大卫·希尔伯特在1921年推动以形式系统来描述数学知识。一个形式系统也许是纯粹抽象地制定出来，只是为了研究其自身。另一方面，也可能是为了描述真实现象或客观现实的领域而设计的。命题逻辑是最简单的形式系统。在数学领域里，形式证明是形式系统的产物，由一些公理与演绎规则组成。定理便是形式证明可能的最后一行结论。这几个步骤总和起来便是数学界通称的形式主义。大卫·希尔伯特创立元数学以作为讨论形式系统的学科。任何用于讨论形式系统的语言称为元语言。元语言也许像普通语言一样自然，或它可能部分形式化，但它通常比起受检验系统的形式语言来得较不正规化。此形式语言称为对象语言，意指问题议论的对象。某些理论学家将形式主义粗略视为形式系统的同义词，但此词也同时指称特定风格的符号，例如保罗·狄拉克的狄拉克符号。在数学中的形式系统由以下要素组成：

相关

动脉动脉（希腊语：αρτηρία）是指在生物体内、从心脏运送血液到全身各器官（包括心脏本身）的多条血管。除了肺循环的动脉以及脐动脉，动脉运送的是含氧量高的血液（因此也有称之为“动
甘油丙三醇又称甘油，结构简式为HOCH2CHOHCH2OH或C3H5(OH)3，分子式为C3H8O3。丙三醇是无色无臭有甜味的黏性液体，沸点为290℃，吸水性很强。具有醇类的通性，例如可以与金属钠发生反应产
乌普萨拉大学Universitas Regia Upsaliensis Academia Regia Upsaliensis栗色白色乌普萨拉大学（瑞典语：Uppsala universitet）是一所国立的综合性的大学，位于瑞典的乌普萨拉，位于首都斯德哥
森林森林，是一个高密度树木的区域（或历史上，森林是一个为狩猎而留出的荒地），涵盖大约9.4％的地球表面（或30％的占总土地面积）。森林覆盖着全球面积的9.4%，全球陆地面积的30%（在工业化前约占全
波黑面积以下资讯是以2017估计家用电源国家领袖国内生产总值（购买力平价）以下资讯是以2018年估计国内生产总值（国际汇率）以下资讯是以2018年估计人类发展指数以下资讯是以2018年
巴基斯坦联合通讯社巴基斯坦联合通讯社（英语：Associated Press of Pakistan，缩写APP）是巴基斯坦国营通讯社。它与美联社（AP）没有关系。巴基斯坦独立后经济疲软，因此政府无法在财政补贴通讯社。巴基斯
克里米亚克里米亚半岛（又译克里木半岛；俄语：Кры́мский полуо́стров，罗马化：Krymskiy poluostrov；乌克兰语：Кримський півострів，转写：Krymskyi nivost
科斯岛科斯岛（希腊语：Κως，希腊语发音：，英语：Kos或Cos，英语发音： /kɒs/或/kɔːs/）是希腊南斯波斯泽斯群岛（英语：Southern Sporades）或十二群岛中的一个岛屿，傍土耳其的哥科瓦海湾（Gökova）
什切青旧城什切青旧城（波兰语：Stargard Szczeciński；卡舒比语、波美拉尼亚语：Stôrgard；德语：Stargard in Pommern）是波兰西北部波美拉尼亚地区的一个城镇，斯塔加德县首府，位于伊纳河畔，2005年
亮氨酸亮氨酸（英文：Leucine，简写为 Leu 或 L）是二十种基本氨基酸的其中一种，和异亮氨酸互为同分异构体。在营养学上，亮氨酸是人体的必需氨基酸。亮氨酸是在蛋白质内最常出现的氨基酸，而且