查看“︁元定理”︁的源代码

[[分类:证明论]]{{DEFAULTSORT:yuan2ding4li3}}
{{#seo:
|keywords=元定理, 元语言
|description=证明论中，与形式语言中的命题中的定理相对应，需要使用元语言描述的命题称为元定理。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2023-07-01
}}
{{InfoBox
|name=元定理
|eng_name=metatheorem
|aliases=metathesis
}}
当我们研究[[形式化公理系统（逻辑）|形式化公理系统]]（[[形式语言]]）时，会使用如某个或某类[[命题]]的[[可证明性]]、[[可演绎性]]等描述，这些词汇并不属于形式语言本身，而是属于描述其用的语言（即'''[[元语言]]'''），相关的定理称为'''元定理'''。


{{证明论}}