形式系统

✍ dations ◷ 2025-09-18 09:09:35 #形式系统

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

相关

痰痰是指肺及支气管等鼻腔以下的呼吸管道的粘膜所产生的分泌物，用来将包含尘埃、病毒、过敏原等异物排出体外的黏液，也可能是因上呼吸道感染，而经由咳嗽及咳痰所吐出来的黏液。感
耐氧厌氧生物厌氧生物，或称厌气生物，是指一种不需要氧气生长的生物。它们大致上可以分为三种，即专性厌氧生物、兼性厌氧生物及耐氧厌氧生物。人体内的厌氧生物多存在于消化系统中，有些种类
华尔街坐标：40°42′23″N 74°00′34″W / 40.70639°N 74.00944°W / 40.70639; -74.00944华尔街（英语：Wall Street）是一条位于美国纽约市下曼哈顿的狭窄街道，西起百老汇三一教堂，向东
汉越词陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧
链球菌性喉炎链球菌性咽炎（streptococcal pharyngitis、strep throat）是一种喉部后方含扁桃腺感染化脓链球菌（英语：Streptococcus pyogenes）的疾病，是咽炎中的一种，常见症状有发热、喉咙痛、扁
眼药水眼药水是治疗眼睛疾病的药水，其成分依作用的不同有许多种类，例如类固醇、抗生素、抗组织胺药、 β阻滞剂、非类固醇消炎止痛药等。一般眼药水为了长期保存而添加了微量的防腐
米兰多拉乔瓦尼·皮科，米兰多拉领主及康科迪亚伯爵（Giovanni Pico dei conti della Mirandola e della Concordia，1463年2月24日－1494年11月17日），通称乔瓦尼·皮科·德拉·米兰多拉，意大
阿尔伯特·沙宾阿尔伯特·布鲁斯·沙宾（英语：Albert Bruce Sabin，1906年8月26日－1993年3月3日，原姓Saperstein）犹太裔美国人、医学家、美国陆军退役中校，是口服脊髓灰质炎疫苗（小儿麻痹疫苗，又称“
阿尔伯特·艾利斯阿尔伯特·艾利斯（Albert Ellis，1913年9月27日 – 2007年7月24日）是一位美国临床心理学家，在1955年发展了理性情绪行为疗法，也是1960年代美国性解放运动的先驱。许多人认为他是认
日德兰语日德兰语（Jysk，宽式IPA：/ˈjysg̊/）属于印欧语系－日尔曼语族－北日尔曼语支－丹麦语，是通行于丹麦王国西部日德兰半岛的方言，也零星通行于德国境内的部分地区。日德兰语发音与标准丹麦