形式系统

✍ dations ◷ 2025-07-17 23:54:13 #形式系统

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

相关

逆转录酶抑制剂核苷类逆转录酶抑制剂（英语：Nucleoside Reverse Transcriptase Inhibitors，简称NRTIs），是合成HIV的DNA逆转录酶底物脱氧核苷酸的类似物，在体内转化成活性的三磷酸核苷衍生物，与天然
母体死亡由来自于世界卫生组织(WHO)、联合国儿童基金会(UNICEF)、联合国人口基金会(UNFPA)、联合国人口司（英语：United Nations Department of Economic and Social Affairs）、世界银行
范康尼氏症候群范康尼氏症候群(Fanconi syndrome、范科尼氏症候群、范科尼氏综合征)是一种肾脏近曲小管(Proximal convoluted tubule)的疾病，病征在于其中的葡萄糖，氨基酸，尿酸，磷酸盐和碳酸
奥美拉唑奥美拉唑（Omeprazole），常见商品名Prilosec等。是一种可用于治疗胃食道逆流、胃及十二指肠溃疡和胃泌素瘤（英语：Zollinger–Ellison syndrome）的口服药物。它同时也用于上消化道出
食品安全问题中华人民共和国食品安全是中华人民共和国（以下简称中国）日益关注的一个议题。中国的主要农作物有水稻、玉米、小麦、大豆、棉花以及苹果等，而主要畜产品有猪肉、牛肉、牛奶以及
朔庄省朔庄省（越南语：Tỉnh Sóc Trăng／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H",
玻璃体玻璃体又称玻璃状液、神膏（英文 Vitreous humor），是眼球内无色透明的胶状物质，表面覆盖着玻璃体膜。玻璃体填充于晶状体与视网膜之间，约占眼球内腔的4/5。玻璃体对视网膜起支撑作
干燥性角结膜炎干眼症（英语：Dry eye syndrome, DES），又名干性角结膜炎（keratoconjunctivitis sicca, KCS），是一种眼睛干涩的状态。其他的症状包括眼睛过敏、发红、多眼屎或是容易疲劳，也可能出现视
个体经济组织个体工商户，简称个体户（个体户一词的其他含义，请参见“个体户”），在中华人民共和国是指以个人财产或者家庭财产作为经营资本，依法经核准登记，并在法定的范围内从事非农业的工商经营
前置词前置词（preposition）在文法里是一种介词或助词，其作用为建立受词（多半是一个名词词组）与句子中其他部分的关系，通常用来表示位置或时间。