形式系统

✍ dations ◷ 2025-12-08 18:37:50 #形式系统

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

相关

原核生物原核生物（英文：prokaryote）是通常由单一原核细胞形成的生物。相对于真核细胞，原核细胞一般没有细胞内膜、没有核膜包裹的成型细胞核，细胞内无染色体，DNA链未螺旋化，并以游离的形成
多态性多态性（英语：polymorphism）在生物学中是指一个物种的同一种群中存在两种或多种明显不同的表型。多态性必须同一时间在同一栖息地中出现。多态性是自然界中的常见现象，与生物多样
万乃洛韦伐昔洛韦（Valaciclovir）是鸟嘌呤类似物类抗病毒药物，用于单纯疱疹和带状疱疹感染。它是阿昔洛韦的前药，在体内可转化为阿昔洛韦。伐昔洛韦是一种前药，是阿昔洛韦酯化物，口服生物利
穿透式电子显微镜透射电子显微镜（英语：Transmission electron microscope，缩写：TEM、CTEM），简称透射电镜，是把经加速和聚集的电子束投射到非常薄的样品上，电子与样品中的原子碰撞而改变方向，从而产生
工业第二产业，又称第二级产业，是指位处一件产品的生产链中层的行业，这些行业在一件产品的生产链中担任原料加工的工作，是该产品自生产至供应市场的中间阶段。每样产品都有自己独有的
IL31JLI3562n/aENSG00000164399n/aP08700n/aNM_000588n/aNP_000579n/a白细胞介素3（英语：Interleukin 3，IL-3）是一种蛋白质，在人体中由IL 3 基因编码。白细胞介素3是白介素，一个类生
图像式思考辅助工具图像式思考辅助工具是一种将知识、概念或构思表利用视觉方式表达出来的方法，主要用于脑力激荡法（brainstorming）过程中，将各人的思想记录下来，以便将来向其他人重新覆述各人的思
1952年伦敦烟雾事件伦敦雾霾（英语：Great Smog of London、Great Smog of 1952）是1952年12月5日至12月9日发生于英国伦敦的空气污染事件。发生的原因包括气温低、反气旋、无风以及大量燃烧煤炭所产
刚果红刚果红是一种酸碱指示剂，当pH低于3.0时呈蓝色，高于5.2时呈红色。化学式为C32H22N6Na2O6S2；分子量696.66 g/mol。在生物学上可用刚果红筛选纤维素分解菌。原理如下：刚果红可与纤
奥摩语族奥摩语族是出现在埃塞俄比亚西南部的语言统称，常被界定为亚非语系（闪含语系）的语族之一。奥摩语族的语言带少许的胶着语性质，而部分语言用吉兹字母书写。