形式体系

✍ dations ◷ 2024-11-05 19:45:00 #形式体系

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

相关

舌骨会厌韧带舌骨会厌韧带（hyoepiglottic ligament）是连接会厌的前表面与舌骨的主体上边界之弹性韧带。用罗伯特·雷诺兹·麦金塔（英语：Robert Reynolds Macintosh）喉镜叶片进行直接喉镜检查
哲学心理学异常心理学行为遗传学生物心理学心理药物学认知心理学比较心理学跨文化心理学文化心理学差异心理学（英语：Differential psychology）发展心理学演化心理学实验心理学
罗伯特·奥本海默朱利叶斯·罗伯特·奥本海默（英语：Julius Robert Oppenheimer，/ˈɒpənˌhaɪmər/，1904年4月22日－1967年2月18日），美国理论物理学家，曾于加利福尼亚大学伯克利分校任教物理。第二
腹毛动物门腹毛动物门（学名：Gastrotricha）是动物界的一个门。是生活在海洋或淡水中的、身体腹面披有纤毛的一类小型动物。大约有400种，一般认为是假体腔动物中最原始的一类。本门分为2个目
银河银河星系（古称银河、天河、星河、天汉、银汉等），是一个包含太阳系的棒旋星系。直径介于100,000光年至180,000光年。估计拥有1,000亿至4,000亿颗恒星，并可能有1,000亿颗行星。太
球虫球虫（学名：Sphaerozoum fuscum）为球虫科球虫属的动物。分布于太平洋、地中海、大西洋、印度洋，包括东海、海南岛等海域，常生活于表层。
鏑4f10 6s22, 8, 18, 28, 8, 2蒸气压3, 2, 1 （弱第一：573.0 kJ·mol−1 第二：1130 kJ·mol−1 第三：2200 kJ·mol主条目：镝的同位素.mw-parser-output ruby>rt,.mw-parser-out
链式反应链反应（Chain reaction）又称连锁反应，是指反应的产物或副产物又可作为其他反应的原料，从而使反应反复发生。在化学中，链反应通常指光、热、辐射或引发剂作用下，反应中交替产生活性
应力-应变性质材料力学研究材料在各种力和力矩的作用下所产生的应力和应变，以及刚度和强度的问题。通常是机械工程、土木工程和建筑工程以及相关专业的大学生必须修读的课程，通常在修读材料
长庚医院长庚医疗财团法人（法人登记名称）（英语：Chang Gung Medical Foundation），通称长庚纪念医院，简称长庚医院、长庚，是台塑关系企业（台塑集团）创始人王永庆为纪念其父亲王长庚，所捐助设立的