查看“︁完备性（逻辑）”︁的源代码

[[分类:证明论]]
{{InfoBox
|name=完全性
|eng_name=completeness
}}
'''完全性'''('''completeness''')指一个[[形式化公理系统（逻辑）|公理系统]]中，一个前提所[[逻辑蕴含]]（对命题逻辑，为[[重言蕴含]]）的命题都是能从前提[[演绎]]出的。
也就是说，这个系统中不会有语义上可推出的东西是无法语法上推演的。

== 定义 ==

公理系统 <math>\mathbf{H}</math> 中，对任意前提 <math>\Gamma</math> 和结论 <math>\phi</math> ，若 <math>\Gamma \vDash \phi</math> ，则 <math>\Gamma \vdash \phi</math> 。


{{证明论}}