形式系统

✍ dations ◷ 2025-10-08 11:52:13 #形式系统

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

相关

过敏原过敏原（英语：allergen，又称为变应原、过敏物、致敏原、致敏物）是指能引起过敏的物质。严格地说，过敏原是一种能促进在特应性个体发生I型超敏反应的非寄生抗原。尘螨的排泄物、花
J01BA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J01（抗菌药）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WHO Collaboratin
肢肢，或称肢体，是指动物的手和脚。哺乳类动物拥有四条肢体，故又称为四肢。另一方面，手臂和腿也分别可称为上肢和下肢。昆虫的肢体则多很多，如毛虫、蜈蚣有很多附肢。
政府间气候变化专门委员会政府间气候变化专门委员会（英语：Intergovernmental Panel on Climate Change，缩写IPCC；又译政府间气候变化专业委员会、跨政府气候变化委员会等）是一个附属于联合国之下的跨政府
氯氟烃氯氟烃（英语：Chlorofluorocarbons，簡稱CFCs），又称氟氯烃、氯氟碳化合物、氟氯碳化合物、氟氯碳化物、氯氟化碳，是一组由氯、氟及碳组成的卤代烷。因为低活跃性、不易燃烧及无毒，氯
μg微克，质量单位，符号μg或者mcg（法语：microgramme → 英式英文：microgramme, 美式英文：microgram）。1微克等于一百万分之一克（10-6克）1 微克 = 1000 奈克1,000 微克 = 1毫克1,000,000
伊利湖伊利湖（英语：Lake Erie）是北美洲五大湖之一，也是世界第十三大湖。伊利湖的名字来源于原在南岸定居的印地安伊利部落。伊利湖的面积有24,000平方公里，平均深度19米，蓄水量483立方公
伤寒杆菌肠道沙门氏菌（学名：Salmonella enterica）是一种有鞭毛的革兰氏阴性菌及沙门氏菌属的一员。肠道沙门氏菌有着极其大量的血清型：大约有2000个不同的血清型。就如伤寒杆菌（学名Salmo
阿提卡阿提卡希腊语（英语：Attic Greek），又称雅典希腊语，是一种古希腊语方言，在以雅典为中心的阿提卡地区使用。在诸古希腊语方言中，它最类似于后来的希腊语，并且是“古希腊语”课程所研习
头后大直肌头后大直肌（rectus capitis posterior major muscle）以点状的腱起始于轴椎的棘突，然后在上升中逐渐变宽，最后附着至枕骨的下项线及略低此线的骨头的表面。因为两侧的肌肉向上和