形式系统

✍ dations ◷ 2025-08-28 14:12:08 #形式系统

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

相关

PNS周边神经病变（英语：Peripheral neuropathy，缩写PN）俗称神经系统疾病，是指神经系统的疾病或异常状态下的神经系统。虽然在大众文化中神经病常常是一种代替精神病的说法，但神经病实
呼吸系统疾病呼吸系统疾病 (Respiratory Diseases)。是指局限于呼吸系统的疾病。从生理上分为两类：阻塞性肺病和限制性肺疾病。从解剖学上可分为：上呼吸道疾病，下呼吸道疾病，肺间质疾病和
红斑性狼疮红斑狼疮（Lupus erythematosus）为一系列自体免疫性疾病的统称，即免疫系统非正常地攻击自身正常组织。症状可能会发生于全身各处，包含关节、皮肤、肾、血球、心脏，以及肺。最常见
担子菌门担子菌门（学名：Basidiomycota）是一类高等真菌，构成双核亚界，包含2万多种，包括蘑菇、木耳等主要食用菌。更具体地说，担子菌门包括以下组：蘑菇，马勃，stinkhorns（鬼笔科），支架真菌（英语：Bracke
秋季秋季是一年四季之中的第三季。秋季的时候，自然景观最明显的变化在树木上面，城市里会开始清扫大量的落叶，山区则涌进不少观赏红叶的游客们。秋季是四季中的一季，在夏季与冬季之间
撒丁岛坐标：40°00′N 09°00′E / 40.000°N 9.000°E / 40.000; 9.000撒丁岛（意大利语：Sardegna，，撒丁语：Sardìgna, Sardìnnia）位于意大利半岛的西南方，是地中海的第二大岛，仅次于西西
利润率在经济学和金融学领域，利润率是资本主义企业，或资本主义经济作为一个整体的投资项目的相对收益。类似投资回报率的概念。在马克思主义政治经济学领域，利润率的计算公式是：资本家
回盲瓣回盲瓣（Ileocecal valve）是分隔大肠和小肠的括约肌。主要功能是避免大肠内的物质回流进回肠。每天约有二升的流体会经过回盲瓣进入大肠。
南斯拉夫内战1991–1992：克罗地亚1991–1992：塞尔维亚克拉伊纳共和国南斯拉夫人民军1992–1994：克罗地亚1992–1994：1992–1994：南联盟塞族共和国塞尔维亚克拉伊纳共和国南