形式体系

✍ dations ◷ 2025-01-23 02:07:02 #形式体系

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

相关

丙酸丙酸(propanoic acid)，又称初油酸，是三个碳的羧酸和短链饱和脂肪酸，化学式为CH3CH2COOH。纯的丙酸是无色、腐蚀性的液体，带有刺激性气味。工业上丙酸是通过四羰基镍催化剂存在下
育亨宾育亨宾（英语：Yohimbine）是一种温和的单胺氧化酶抑制剂，并具有壮阳与兴奋剂功效。它作为治疗性功能障碍的医用处方药销售。育亨宾也是携带α2A肾上腺素受体基因多态性的人类与动
水星水星（拉丁语：Mercurius；英语：Mercury），中国古称辰星；到西汉时期，《史记‧天官书》作者天文学家司马迁从实际观测发现辰星呈灰色，与“五行”学说联系在一起，以黑色配水星，因此正式把它命
诺瓦得士诺瓦得士或太莫西芬（Tamoxifen，简称TMX），常见商品名Nolvadex，可用于治疗或预防乳癌，目前仍在研究本品对于其他癌症的效果。本品可用来治疗马－亚二氏症（英语：Albright syndrome）。诺瓦
置换反应置换反应又称单置换反应，是指一种元素或化合物的离子根与一种离子化合物发生的反应，狭义氧化还原反应是置换反应的一种，且必为广义的氧化还原反应。在反应中，关键在于还原性或氧
低地国家低地国家（荷兰语：de Nederlanden，法语：les Pays-Bas），又译低地诸国（英语：Low Countries），是对欧洲西北沿海地区的称呼，广义包括荷兰、比利时、卢森堡，以及法国北部与德国西部；狭义上则仅
胡聿贤胡聿贤（1922年10月12日－），中国地震工程学家。生于湖北武昌。1946年毕业于上海交通大学土木工程系。1949年获美国密歇根大学土木工程系硕士学位，1952年获博士学位。国家地震局地球
沈允钢沈允钢（1927年12月2日－），中国植物生理学家。浙江杭州人。1951年毕业于浙江大学农业化学系。中国科学院上海植物生理研究所研究员。1980年当选为中国科学院院士（学部委员）。
虐囚事件阿布格莱布监狱虐囚事件（英语：Abu Ghraib torture and prisoner abuse；阿拉伯语：فضيحة التعذيب في سجن أبو غريب‎），又称美军虐待伊拉克战俘事件、美英联
果敢人果敢族（缅甸语：ကိုးကန့်လူမျိုး）是缅甸东北边境的世居民族，具有缅甸官方少数民族的地位。在缅甸，他们被认为从中国云南省而来，居住在果敢县的中国汉人；而在中国，有人