形式系统

✍ dations ◷ 2025-02-23 10:27:07 #形式系统

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

相关

定量定量属性是指以数量形式存在着的属性，并因此可以对其进行测量。测量的结果用一个具体的量（称为单位）和一个数的乘积来表示。以物理量为例，距离、质量、时间等都是定量属性。很多
Population MattersPopulation Matters（双关语，可理解为人口事情或人口至关重要或人口控制运动）是一个注册于英国的慈善组织、智库及倡导团体，前身为“理想人口信托”（"Optimum Population Trust"）。
脑炎脑炎（英语：encephalitis），一种急性脑部的炎症，通常由病毒感染造成。病患症状包括发烧、头痛、呕吐、意识混乱、疲倦、嗜睡和畏光。严重的症状包括癫痫、颤抖（tremors）、幻觉、记忆
微量营养素微量营养素（英语：Micronutrients），亦称为微营养素，是指一类生物体需求相对较少，但对生物机体维持正常生理学功能有重要作用的营养物质，对人来说主要包含维生素和微量矿物质两大类，其
尸检验尸亦称尸体解剖、尸体检验、尸检，是一个彻底检查尸体的医疗程序，以确定死亡的原因和方式并评估任何可能存在的疾病或损伤。通常由病理学家、法医或验尸官等专门人员行验尸工
Australian Broadcasting Corporation澳大利亚广播公司（英语：Australian Broadcasting Corporation，ABC）是澳大利亚的国家公共广播机构。它由政府出资，向澳大利亚和全世界提供电台、电视、互联网服务，其中澳大利亚广播
曼吉斯套州曼格斯套州（哈萨克语：Маңғыстау облысы）是哈萨克斯坦的一个州份，西临里海，东邻乌兹别克，南邻土库曼。面积165,600平方公里。人口373,400（2006年资料）。首府阿克套。1
阿姆斯特丹阿姆斯特丹（荷兰语：Amsterdam.mw-parser-output .audiolink a{background:url("//upload.wikimedia.org/wikipedia/commons/f/f7/Loudspeaker.png")center left no-repeat!imp
PML1BOR· transcription coactivator activity · protein binding · zinc ion binding · ubiquitin protein ligase binding · SUMO binding · protein homodimeriz
肌肉酸痛肌肉痛（英语：Myalgia），如字面意思所言——肌肉疼痛，是多种疾病的症状，其最常见的成因是肌肉（群）的过度拉伸、过度使用。没有肌肉创伤史的肌肉痛则通常是由病毒感染所引起，而长期肌肉