形式体系

✍ dations ◷ 2025-08-30 00:47:22 #形式体系

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

相关

脱臼脱臼是指骨头末端因跌倒或骨头受撞击等外力影响而脱离关节的位置，常发生在臀部、肩膀（肩脱臼）、肘部、指头和膝盖（膝关节脱位）。意外脱臼时须将患处以夹板或吊带等物固定，不可贸然
高胆红素血症胆红素（英文：Bilirubin）是胆色素的一种，是人类胆汁的主要色素，呈橙黄色。它是体内血红素的主要代谢产物，有毒性，可对大脑和神经系统引起不可逆的损害，但也有抗氧化剂功能，可以抑制亚
Cambridge University Press剑桥大学出版社（英语：Cambridge University Press）隶属于英国剑桥大学，成立于1534年，是世界上仅次于牛津大学出版社的第二大大学出版社。剑桥大学出版社为世上现存最古老的大学出
完备性在数学及其相关领域中，一个对象具有完备性，即它不需要添加任何其他元素，这个对象也可称为完备的或完全的。更精确地，可以从多个不同的角度来描述这个定义，同时可以引入完备化这个
BBC TelevisionBBC电视（英语：BBC Television）是英国广播公司（BBC）的电视服务。英国广播公司是1927年根据皇家特许证成立的公司，1932年从自己的工作室制作电视节目，1936年11月2日开始固定播放电视
哥特式哥特式艺术，又译作哥德式艺术（法语：Art gothique），为一种源自法国的艺术风格，该风格始于12世纪的法国，盛行于13世纪，至14世纪末期，其风格逐渐大众化和自然化，形成国际哥特风格，直至15世
伊藤正男伊藤正男（日语：伊藤正男／いとうまさお Itō Masao，1928年12月4日－2018年12月18日），日本神经科学家，理化学研究所脑科学研究所主任。他曾获得2006年格鲁伯神经科学奖和1996年日本
联合国维和部队联合国维持和平部队（英语：United Nations Peacekeeping Force）简称联合国维和部队，指由大会或联合国安全理事会至少需九票赞成（必须包括五个常任理事国）核准部署并决定其任务授权
阿尔兹海默病阿尔茨海默病（拉丁语：Morbus Alzheimer、德语：Alzheimer-Krankheit、英语：Alzheimer's disease，缩写：AD），俗称早老性痴呆、老年痴呆，是一种发病进程缓慢、随着时间不断恶化的神经退化
麦塞尔化石坑梅塞尔坑（Messel pit），是一个位于德国黑森州达姆施塔特-迪堡县梅塞尔附近的化石坑。位于法兰克福东南30公里。梅塞尔坑面积约0.7平方公里，低于地面60米，原为一处废弃的沥青页岩矿