形式体系

✍ dations ◷ 2025-10-19 06:37:40 #形式体系

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

相关

糖醇糖醇（Sugar alcohol）是指糖类的醛、酮羰基被还原为羟基后生成的多元醇，通式 H(CHOH)n+1H。实验室一般通过用硼氢化钠、钠汞齐或雷尼镍催化还原糖类制取糖醇。工业上采用镍存在
头头癣（外语favus, tinea capitis, ringworm of the scalp）是皮肤细菌疾病，由真菌引起，有可能引发其它疾病。三种主要的真菌是：小孢癣菌、表皮癣菌和毛癣菌属。头癣可能出现于各部
父系社会父系制度（Patrilineality），父系社会或男系社会的氏族制度，是按父系（男系）计算世系血统和继承财产的制度。以男子为主导，男子娶妻子入家门。子女随父姓，并嫁出女儿，儿子继续娶妻。即男
人类起源论人类起源的论点，在进化论发表以前人们多数认同神创论，而目前主流学界的看法认为，人类及所有的动物都是进化而来的。神创论则为宗教或其他人士所支持。进化论是查尔斯·达尔文首
摩门教耶稣基督后期圣徒教会文化上相近的几个后期圣徒运动宗派，其最大的宗派为耶稣基督后期圣徒教会。耶稣基督后期圣徒教会也常被用来描述这个相信《摩尔门经》的信仰系统。该派别
Ssub2/subBrsub2/sub二溴化二硫在室温下是一种红色液体，化学式为S2Br2。将溴和硫封闭于管内加热，再进行减压蒸馏可得二溴化二硫。高纯度的二溴化二硫可由溴化氢与二氯化二硫反应制得，其他溴化硫也
詹姆斯·焦耳詹姆斯·普雷斯科特·焦耳，FPS，ForMemRS，HonFRS（英语：James Prescott Joule，1818年12月24日－1889年10月12日），英国物理学家。在研究热的本质时，发现了热和功之间的转换关系，并由此得到
基因组岛基因组岛（英语：Genomic island，GI）是指一个基因组中，有证据显示可能来源于基因水平转移的一段。这一术语通常用于描述微生物，特别是细菌的基因组。GI中的基因可以编码多种功能的蛋
软件无线电软件无线电（Software Defined Radio，SDR）是一种实现无线通信的新概念和体制。其中已在硬件被典型地实现的组件（例如混频器，滤波器，放大器，调制器 / 解调器，检测器（英语：Detector (ra
太空人航天员是指接受航天训练后，指挥、操纵或搭乘航天器的人员。在美国，以旅行高度超过海拔80公里（50英里）的人被称为“astronaut”。国际航空联合会（FAI）定义的宇宙航行则需超过100公