形式体系

✍ dations ◷ 2025-04-04 08:08:39 #形式体系

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

相关

胃胃是人和脊椎动物消化系统的一部分，是贮藏和消化食物的器官。胃上接食道，下接十二指肠。位置大约位于人体的左上腹，肋骨以下。胃主要将大块食物研磨成小块，将食物中的大分子降解
小托马斯·弗兰西斯小托马斯·弗兰西斯（英语：Thomas Francis Jr.，1900年7月15日－1969年10月1日），美国医生，病毒学家与流行病学家。弗兰西斯是第一位在美国分离出流感病毒的科学家，在1940年发现了另一种
南南合作由于世界上的发展中国家绝大部分都处于南半球和北半球的南部分。于是从1960年代开始，这些国家之间为摆脱发达国家的控制，发展民族经济，开展专门的经济合作，即称为南南合作。例如
伊斯特拉半岛伊斯特拉半岛（克罗地亚语、斯洛文尼亚语：Istra；意大利语、威尼托语：Istria）是欧洲亚德里亚海东北岸的一个三角形的半岛。西临威尼斯湾。西北临特里亚斯特湾（的里雅斯特湾，Gulf of T
钠-23钠-23（23Na）是钠元素其中的一种最稳定、含量最丰富的同位素。已发现钠的同位素有15种，包括钠19至钠33,其中只有钠23是稳定的,其他同位素都带有放射性。原子量是22.98977 u。过
孙膑兵法竹简本——1972年在山东临沂银雀山汉墓出土，为汉初抄本。 1975年文物出版社出版的普及本及线装本。 1985年文物出版社出版的精装本《银雀山汉墓竹简》第一辑中收录。与1975年
林达尔托马斯·罗伯特·林达尔（瑞典语：Tomas Robert Lindahl，1938年1月28日－），瑞典-英国医学家，专门从事癌症研究。他是挪威科学和文学研究院的成员。2010年，他因对DNA修复的研究被授予英
叶芽线虫属见内文叶芽线虫属（学名：Aphelenchoides）是线虫动物的一个属，其物种皆为双子叶植物的寄生性植物病原体。本属物种所引起的病变统称作“叶质线虫病”。Sanwal (1961)列出了35个物
内布卡二世内布卡二世（Bikheris）古埃及古王国时期第四王朝国王。（约公元前2558年左右），他的记载极少，其金字塔和木乃伊也未被发现，一些考古学家认为这是一个虚构人物。
弗莱堡布赖斯高地区弗赖堡（德语：Freiburg im Breisgau），通称弗赖堡，是德国巴登－符腾堡州无属县城市，弗赖堡行政区首府。城市位于黑森林南部的最西端，人口约20万。历史上，弗赖堡是黑森林西部