形式系统

✍ dations ◷ 2025-06-07 06:50:52 #形式系统

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

相关

横膈膜在哺乳动物的解剖学中，横膈膜（英语：Thoracic diaphragm）是一层骨骼肌薄膜，延展及肋骨底部。横膈膜将胸腔与腹腔相分隔，并对呼吸执行重要功能。解剖学中的膈膜（英语：Diaphragm）也可以
甲亢性周期性麻痹1甲状腺毒性周期性麻痹症（英语：Thyrotoxic periodic paralysis，简称TPP）是一种因甲状腺机能亢进引起的病况，特征是病发时会有肌肉无力（英语：Muscle weakness）的症状。症状发作时一般
胰腺炎胰脏炎（英语：Pancreatitis）也称为胰腺炎，指的是胰脏的发炎。胰脏是身体里的一个大型器官，位置在胃后方，功能有分泌消化酵素等等。胰脏炎有两种，分别是急性（英语：Acute_pancreatitis）
初级预防初级预防亦称一级预防（预防医学）乃明显不同于次级或第三级预防的概念。主要意涵有三方面，提升个人高层次的潜能、幸福感或协助相关环境改变的促进性活动或方案，维持或转变个人
左氧氟沙星左氧氟沙星（英语：Levofloxacin），常见商品名Levaquin，为一种氟喹诺酮类广谱（英语：broad-spectrum antibiotic）抗细菌药。本品可用于治疗细菌性的鼻窦炎、肺炎、泌尿道感染、慢性前列
生殖腺生殖腺是人和动物产生生殖细胞和分泌性激素的器官。低等动物又称“生殖巢”，即精巢和卵巢的总称；高等动物雄性的生殖腺是睾丸，雌性的生殖腺是卵巢。人类在青春期后睾丸产生精子
子宫内膜异位症子宫内膜异位症（Endometriosis）属于妇科疾病，指的是本当存在于子宫内的内膜组织却在子宫外的其他地方生长，多数会在卵巢、输卵管以及子宫附近的组织，少数的情况也可能发生在身体
瘫痪瘫痪是指一个或多个肌肉群的肌肉功能丧失。而在受影响的区域，也可能会有感觉丧失的情况。瘫痪的原因一般是神经系统受损，尤其是脊髓的部位。其他主要原因包括中风、外伤、小儿
音乐治疗音乐治疗（Music therapy），是利用乐音、节奏对生理疾病或心理疾病的患者进行治疗的一种方法。主要是针对在身、心方面“有需要”进行治疗的个案，针对其“需要治疗”的部分，进行“
奥克拉荷马州坐标：35°30′N 98°00′W / 35.5°N 98°W / 35.5; -98俄克拉荷马州（切罗基语：ᎠᏍᎦᏯ ᎩᎦᎨᏱ，转写： Asgaya gigageyi，或者ᎣᎦᎳᎰᎹ(音译自英语)；波泥语：Uukuhuúwa；卡育加语：Ga