إن سلامة نظام الاستنباط هي خاصية أن كل جملة يمكن إثباتها في نظام الاستنباط هذا هي جملة حقيقية أيضًا من حيث جميع تفسيرات أو بنيات النظرية الدلالية الخاصة باللغة التي تعتمد عليها تلك النظرية.
===Soundness===Soundness of a deductive system is the property that any sentence that is provable in that deductive system is also true on all interpretations or structures of the semantic theory for the language upon which that theory is based.