元定理

元定理
术语名称	元定理
英语名称	metatheorem
别名	metathesis

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

证明论
形式化公理系统（形式化、公理化）
举例	公理系统、自然演绎系统
证明、演绎	证明、可证明、演绎、可演绎
命题、定理	公理、定理、元定理、变形规则
推理规则性质	保存真实性、保存重言性
公理系统性质	可靠性、完全性、一致性、独立性