形式系统

✍ dations ◷ 2025-10-29 01:37:33 #形式系统

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

相关

b义/b链（英语：Sense，也称股）在分子生物学中指一段核酸分子（如RNA与DNA）及其互补序列在指定氨基酸序列中的作用性质。例如，若RNA可以直接合成蛋白质，则该段RNA为正链；反之，若RNA需要先进行转
促甲状腺素促甲状腺激素，又称TSH（英语：Thyroid-stimulating hormone, TSH or Thyrotropin），是一个由垂体前叶当中的促甲状腺激素细胞所分泌的肽类激素。该激素用于调节甲状腺的内分泌功能.
重组重组可能指的是：
牛仔裤牛仔裤是裤子的一种，于19世纪由美国人雅各布·W·戴维斯同巴伐利亚裔美国籍李维·斯特劳斯发明并开始生产。1850年代末期，李维·斯特劳斯来到美国旧金山。他原来是位布商，随身
分体病毒科分体病毒属 Partitivirus α隐藏病毒属Alphacryptovirus β隐藏病毒属 Betacryptovirus分体病毒科(Partitiviridae)
网状红细胞网状红血球，即未成熟的红血球，通常占人体总红血球数约1％。红血球生成的过程中，网状红血球会在骨髓内发育成熟，并在完全转变成红血球之前，在血流中循环大约一天的时间。哺乳动物的
ABWR先进沸水堆（英语：Advanced Boiling Water Reactor，简写ABWR；也译改良型沸水式反应堆），是一款符合第三代反应器规范的沸水反应堆。目前由通用电气（GEH）和东芝合作生产。如同以往的沸
最佳可行控制技术最佳可行控制技术（Best available control technology，简称BACT）是美国1990年净化空气法案（英语：Clean Air Act of 1990）中授权使用的污染控制标准。美国国家环境保护局决定哪些污
提洛岛提洛岛（英文: Delos, 希腊文: Δήλος, Dhilos)是爱琴海上的一个岛屿，基克拉泽斯群岛的心脏。在希腊神话中，它是女神勒托的居住地，在这里她生育了阿波罗和阿耳忒弥斯。因此长
客体客体或对象（Object）在哲学上指可感知或可想像到的任何事物，既包括客观存在并可观察到的事物（如人物、树木、房屋，抽象的如物价、自由），也包括想像的事物（如神化人物）。