形式系统

✍ dations ◷ 2024-12-22 16:36:58 #形式系统

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

相关

遗传性疾病遗传性疾病是指以基因为主要致病原因的疾病。依据成因又可以细分成：其中因单一基因缺陷而引起的遗传疾病，又称为孟德尔型病症。临床上大多透过遗传基因检测来辅助诊断以及带因
内皮内皮细胞或血管内皮是一薄层的专门上皮细胞，由一层扁平细胞所组成。它形成血管的内壁，是血管管腔内血液及其他血管壁（单层鳞状上皮）的界面。内皮细胞是沿着整个循环系统，由心脏直
氯莫环素氯莫环素是四环素类抗生素中的一种能与tRNA结合，从而达到抑菌的效果的抗生素，又称为“氯摩环素”“氯摩四环素”“羟甲金霉素”或“羟甲氯四环素”。医学导航：病菌细菌（分类）gr+f
子实层子实层（hymenium），是子囊菌门与担子菌门真菌子实层体上的构造。子实体中，最内侧的组织为菌髓，其外为子实下层（subhymenium），最外侧即为子实层。子实层的部分细胞可发育成担子（英语：bas
节担菌纲W. ichthyophaga W. muriae W. sebi节担菌纲（学名：Wallemiomycetes）是担子菌门下的一纲。该纲只包含一个门（节担菌目，Wallemiales），这一目含一个科（节担菌科，Wallemiaceae），而这一科也
去氧核糖核酸病毒脱氧核糖核酸病毒（英语：DNA virus），又称DNA病毒，其遗传物质为DNA。一般为正链DNA病毒。医学导航: 病毒病病毒(蛋白质)/分类cutn/syst (hppv/艾滋病, 流感/疱疹/人畜共患)/人名体
GM-CSFn/an/an/an/an/an/an/an/an/an/a结构 / ECOD粒细胞-巨噬细胞集落刺激因子（granulocyte-macrophage colony-stimulating factor，GM-CSF），又名集落刺激因子2（colony-stimulating fa
Sirius可视化软件Sirius可视化软件（简称Sirius）是圣地亚哥超级计算机中心（San Diego Supercomputer Center）所开发的一个分子建模与分析系统。Sirius设计旨在支持除简单显示小分子和蛋白质的之外
混沌传统宗教仪式：神明秘密社会：混沌，又写作浑沌，指混乱而没有秩序的状态。在哲学中，混沌指虚空，或者没有结构的均匀状态。在非线性科学中，“混沌”这个词的含义和本意相似但又不完全一
十二指肠溃疡消化性溃疡（英语：peptic ulcer disease，简称PUD），又称胃及十二指肠溃疡。这是指胃、小肠前段（十二指肠）或幽门，有时也包含了食道下端的黏膜损伤（溃疡）。在胃发生的溃疡称作胃溃疡（英语：s