可靠性

可靠性
术语名称	可靠性
英语名称	soundness

可靠性(soundness)指一个公理系统中，能从一个前提演绎出的结论都是前提所逻辑蕴含（若为谓词逻辑，则为重言蕴含）的。 也就是说，这个系统中不会有语法上可推演的东西是语义上无法推出的。

定义

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

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