形式系统

✍ dations ◷ 2025-06-27 13:23:07 #形式系统

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

相关

尿失禁尿失禁（英语：urinary incontinence，缩写作UI，或 involuntary urination），又称小便失禁，指尿液不自主地流出。尿失禁是一个普遍令人愁苦和尴尬的问题，会对患者的生活品质产生很大的影
人口不足人口不足（又称人口稀少或人口过稀），通常是指一个国家的人口减少至无法支持该国的社会经济。举例来说，假如现时已退休的上一辈当年的每个家庭平均有三个小孩，而现时的新一代则平均
药物成瘾物质依赖（英语：Substance dependence）或称药物成瘾（drug addiction），指需要服用药物才能使日常生活表现正常的强迫行为。出现物质依赖状况后，若突然停止服用药物，可能出现药物戒断症
爱德华·比希纳爱德华·比希纳（德语：Eduard Buchner，1860年5月20日－1917年8月13日），德国化学家，1907年获诺贝尔化学奖。布赫纳1860年生于慕尼黑的一个医生家庭之中，1884年于慕尼黑大学追随阿道夫·
中大西洋地区中大西洋州份（英语：Mid-Atlantic），通常是指美国境内的在新英格兰和美国南大西洋地区之间的地区。根据不同来源，有不同的定义，它一般包括纽约州、新泽西州、宾夕法尼亚州、特拉华
维尼维尼可以指：
腹膜腹膜是指在存在高等脊椎动物腹腔中的一层黏膜，主要由间皮细胞构成，借由结缔组织的支持所形成的一层膜状组织。腹膜包覆大部分腹腔内的器官，能分泌黏液润湿脏器的表面，减轻脏器间
叶夫帕托里亚叶夫帕托里亚（乌克兰语：Євпаторія, 俄语：Евпатория, 克里米亚鞑靼语：Kezlev, 希腊语：Ευπατορία, Κερκινίτις - Eupatoria, Kerkinitis, 土
全身炎症反应综合征全身炎症反应综合症（Systemic inflammatory response syndrome ,SIRS）是一个影响到整个身体的炎症反应。它是身体的应激性反应，是机体应对一种感染性或非感染性因素的方式。虽
飞机固定翼飞机（英语：Fixed-wing aeroplane），简称定翼机，常被再简称为飞机（英文：aeroplane, airplane），是指由动力装置产生前进的推力或拉力，由机身的固定机翼产生升力，在大气层内飞行的重