于语言L是可靠的，当且仅当formula_6：就是说，所有可证明的论证都是有效的，没有无效的论证是可证明的。
与实质蕴涵的联系.在很多情况下，蕴涵符合于实质蕴涵：就是说，formula_7当且仅当formula_8。但是在一些多值逻辑中这不是真的。