元定理：修订间差异

2026年1月23日 (五) 07:15的版本

当我们研究形式化公理系统（形式语言）时，会使用如某个或某类命题的可证明性、可演绎性等描述，这些词汇并不属于形式语言本身，而是属于描述其用的语言（即元语言），相关的定理称为元定理。

证明论
形式化公理系统（形式化、公理化）
推理系统	Hilbert 风格/公理系统：Hilbert 表示
	Gentzen 风格-自然演绎系统： Gentzen 式自然演绎、 Fitch 式自然演绎、 Suppes–Lemmon 式自然演绎
	Gentzen 风格-相继式演算： Gentzen 式相继式演算
证明、演绎	演绎、可演绎、证明、可证明
命题、定理	公理/公理模式、定理、元定理、变形规则
推理规则性质	保存真实性、保存重言性
公理系统性质	可靠性、完备性/完全性、一致性、独立性

@@ 第5行： / 第5行： @@
 |aliases=metathesis
 }}
-当我们研究[[形式化公理系统（逻辑）|形式化公理系统]]（[[形式语言]]）时，会使用如某个或某类[[命题]]的可证明性、可演绎性等描述，这些词汇并不属于形式语言本身，而是属于描述其用的语言（'''元语言'''），因此相关的定理称为'''元定理'''。
+当我们研究[[形式化公理系统（逻辑）|形式化公理系统]]（[[形式语言]]）时，会使用如某个或某类[[命题]]的[[可证明性]]、[[可演绎性]]等描述，这些词汇并不属于形式语言本身，而是属于描述其用的语言（即'''[[元语言]]'''），相关的定理称为'''元定理'''。
 {{证明论}}