形式系统

✍ dations ◷ 2025-05-15 08:34:35 #形式系统

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

相关

原核生物界原核生物界（Kingdom Monera）是1920年年代对生物分类的五界系统（英语：five kingdoms, 动物界、植物界、菌物界、原生生物界与原核生物界）所定义的一个界。1969年怀塔克（英语：Robert
拟菌病毒Acanthamoeba polyphaga mimivirus拟菌病毒是一个包括Acanthamoeba polyphaga mimivirus（APMV）的一个属，或许是与演化史相关的巨型病毒。通常所说的“拟菌病毒”就指APMV。在口
定量定量属性是指以数量形式存在着的属性，并因此可以对其进行测量。测量的结果用一个具体的量（称为单位）和一个数的乘积来表示。以物理量为例，距离、质量、时间等都是定量属性。很多
风湿性心脏病风湿热（英语：Rheumatic fever）也称为急型风湿热（英语：acute rheumatic fever, ARF），是会侵犯心脏、关节、皮肤和脑部的发炎性疾病。病情最早的描述出现在公元前五世纪希波克拉底的
ODD对立反抗症（Oppositional defiant disorder）简称ODD，在精神疾病诊断与统计手册第五版（DSM-5（英语：DSM-5））中列在“破坏性，冲动控制和行为障碍”（Disruptive, impulse-control, and con
口吃口吃（俗称“结巴”、“磕巴”、“漏口”，在台湾，国语念作“kǒu jí”；中国大陆普通话与新马两地则念作“kǒu chī”；古汉语中叫謇。），是一种言语障碍，表现为言语频繁地与正常流利
油脂甘油三酯（triglyceride, TG, triacylglycerol, TAG, or triacylglyceride），亦作三酸甘油酯，常称为油脂，为动物性油脂与植物性油脂的主要成分，一种由一个甘油分子和三个脂肪酸分子
生物合成蛋白质生物合成是指在生物细胞内制造新的蛋白质，它是通过蛋白酶解或蛋白质导向（英语：Protein targeting）细胞蛋白的损耗被平衡。蛋白质的生物合成也称为翻译，它是基因表达的最后
奋锐党奋锐党（Zealotry；希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","
倒睫睫毛倒刺（英语：Trichiasis）是医学上表明睫毛生长方向异常的术语，其症状表现为眼睫毛向眼球生长并接触到角膜或结膜。倒睫可能是由感染、炎症、免疫系统疾病、先天性缺陷（如眼睑发