形式系统

✍ dations ◷ 2025-04-03 17:57:29 #形式系统

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

相关

生物分类学生物分类学（英语：biotaxonomy）通常直接称分类学（英语：taxonomy；法语：taxonomie；西班牙语：taxonomía），是一门研究生物类群间的异同程度，阐明生物间的亲缘关系、进化过程和发展规律的科学
双球菌双球菌（拉丁语：diplococcus，复数diplococci）是球菌的一类，其细胞沿一平面分裂，而子细胞成双排列。代表种类有脑膜炎双球菌（Neisseria meningitidis）、淋球菌（Neisseria gonorrhoeae）等
新壁总域新壁总域（Neomura）是一个演化支，由古菌域和真核生物域两域生物所组成。这个概念是由2002年被汤玛斯·卡弗利尔-史密斯所提出。他假设新壁总域成员演化自真细菌，其中一个主要的改
ssRNA(-)核糖核酸病毒（英语：RNA virus），又称RNA病毒，其遗传物质为RNA，这些核糖核酸通常是单链RNA（ssRNA），但是也可能是双链RNA（dsRNA）。由RNA病毒感染造成的著名人类疾病包括艾滋病(AIDS)、埃博
泡沫细胞泡沫细胞是一种含有大量脂肪的巨噬细胞。泡沫细胞是导致动脉硬化的一种原因，并可能导致心脏病和脑梗塞。当低密度脂蛋白穿过动脉内膜进入血管壁之间时，胆固醇会在那里堆积。当
S. viridans草绿色链球菌（英文：Viridans streptococci ），是链球菌属底下的一群细菌，是人体重要的正常菌丛之一，主要分布于口腔、呼吸道，肠胃道、女性生殖道等部位。草绿色链球菌是感染性心内膜
札格拉布萨格勒布（克罗地亚语：Zagreb；德语旧称：Agram，阿格拉姆；匈牙利语：Zágráb）是克罗地亚的首都和萨格勒布县的首府同时也是全国最大城市、一个直辖市。萨格勒布克罗地亚国内足球强队萨
生物染色剂染色是用于增强显微图像对比度的一项辅助技术。辅以不同类型的显微镜，染色和染料常在生物学和药学领域被用于提高生物组织的可见度。染色常被用于观察大块组织（如肌肉组织和结
脏胸膜脏胸膜（英语：Visceral pleura）覆盖于肺表面，并深入至叶间裂内的一层胸膜，叫做脏胸膜。脏胸膜与肺实质连接紧密，所以又称其肺胸膜。
舌骨会厌韧带舌骨会厌韧带（hyoepiglottic ligament）是连接会厌的前表面与舌骨的主体上边界之弹性韧带。用罗伯特·雷诺兹·麦金塔（英语：Robert Reynolds Macintosh）喉镜叶片进行直接喉镜检查