形式体系

✍ dations ◷ 2025-08-09 15:57:59 #形式体系

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

相关

糖蛋白糖蛋白是一种含有寡糖链的蛋白质，两者之间以共价键相连。其中的寡糖链通常是经由共转译修饰或是后转译修饰过程中的糖基化作用而连结在蛋白质上。糖蛋白多肽链常携带许多短的
胸腺胸腺是动物的初级淋巴器官。人体内的其中一种腺体，部分骨髓免疫细胞（例如T细胞）在此成熟。胸腺在人体内的胸骨上端，左右两肺叶之间，甲状腺下方，由两叶不对称的淡红色或略带黄色的
电极在电池中，电极一般指与电解质溶液发生氧化还原反应的位置。电极有正负之分，正极指电位（电势）较高的一端，负极指电位较低的一端。一般正极为阴极，获得电子，发生还原反应，负极则为阳极
氰化锌氰化锌（化学式：Zn(CN)2）是锌的氰化物。白色有光泽柱状结晶或无定形块状固体或粉末。难溶于水和乙醇，微溶于热水，能溶于稀的无机酸并分解释放出氰化氢，溶于碱金属氰化物、氢氧化物
埃及第十九王朝第八第十埃及第十九王朝：公元前1293年-公元前1185年（大约持续了108年）埃及第十九王朝是古埃及历史上的一个王朝，其与第十八王朝和第二十王朝统称新王国时期，第十九王朝是新王国时
谷氨酸脱羧酶谷氨酸脱羧酶（英语：Glutamate decarboxylase；GAD）是一个催化谷氨酸脱羧为γ-氨基丁酸并释放CO2的酶。此酶使用磷酸吡哆醛作为一个辅因子。此反应以如下方式进行：此酶在哺乳动物中
肿瘤基因癌基因，也称为致癌基因（英语：Oncogene）是一类能使正常细胞转化为癌细胞的基因。一般地，癌基因是功能出现异常的原癌基因（英语：Proto-oncogene）。原癌基因一般与细胞的增殖生长相关，功
第一中间期第八第十第一中间时期是古埃及历史古王国时期和中王国时期之间的大约100年的历史时期。古王国后期，中央集权的减弱使埃及王朝逐渐丧失了对地方政体的管辖，各地方领袖纷纷脱离
大爆炸理论大爆炸又称大霹雳（英语：Big Bang），是描述宇宙的源起与演化的宇宙学模型，这一模型得到了当今科学研究和观测最广泛且最精确的支持。宇宙学家通常所指的大爆炸观点为：宇宙是在过去有
地球图辑队天空传媒股份有限公司，前身为网络数码股份有限公司（webs-tv inc.），成立于1997年。当前拥有门户网站、宽带上网、影片租借等娱乐传播事业。网络数码股份有限公司（webs-tv inc.）于19