形式体系

✍ dations ◷ 2025-06-27 20:13:17 #形式体系

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

相关

先天性免疫系统先天免疫系统（英语：Innate immunity）又称为非特异性免疫、固有免疫、非专一性防御，包括一系列的细胞及相关机制，可以以非特异性的方式抵御外来感染。先天免疫系统的细胞会非特异
Amantadine金刚烷胺（英语：Amantadine，常用名金刚胺）是美国FDA所批准的抗病毒和抗帕金森病药。金刚乙胺与金刚烷胺有着相似的结构和性质。根据美国疾病控制与预防中心的数据，100%的季节性H3N
Parliament of the United Kingdom政治主题大不列颠及北爱尔兰联合王国议会（英语：The Parliament of the United Kingdom of Great Britain and Northern Ireland），中文简称为英国议会或联合王国议会，是英国和英国
超金属超金属是电子简并态物质的别称，是通常物质在超高压下形成的，由原子核紧密排列，浸泡在自由电子海洋中的物质状态。（普通金属是金属阳离子浸泡在自由电子海洋中的物质状态）最简单，也
罗安达坐标：8°50′18″S 13°14′04″E / 8.83833°S 13.23444°E / -8.83833; 13.23444罗安达（葡萄牙语：Luanda，原称：São Paulo da Assunção de Loanda）或译卢安达，位于安哥拉西部大
倪齐民倪齐民（英语：Jimmy Ni，1964年12月24日－），台湾男演员。民国96年8月25日凌晨开车行经台北市新生南路与罗斯福路口时，因未注意并行距离变换车道，涉嫌擦撞1名机车骑士，且在骑士倒地后开车
高雄市公车东南客运 (建明客运关系企业)高雄市市区公交车是由高雄市政府交通局作为监理机关的汽车客运服务，于民国103年(2014年)年底共计有208条公交车路线，其中44条是高雄地铁接驳公交
帕纳西贾法尔·帕纳希（波斯语：جعفر پناهی‎，1960年7月11日－），伊朗电影导演、编剧、制片人和剪接师。他是伊朗电影新浪潮运动的代表人物。他毕业于德黑兰的影视学院，曾担任电影大
丁二醇丁二醇（Butanediol，亦有简写作BDO）是一种有4个碳原子的二醇类，有以下四种：理论上，1,1-丁二醇及2,2-丁二醇亦有可能出现，但实际上这类化合物很不稳定，会很快脱水成为丁醛及丁酮。1,2-
维堡维堡（Viborg）是位于丹麦中日德兰大区的一个城市。维堡是中日德兰大区的行政中心所在地。此外维堡还是日德兰半岛高等法院、西部高等法院的所在地。维堡是丹麦最大的城市之一，辖