Definition
Sound Calculus
A calculus is called sound if every statement that can be derived syntactically is also semantically valid.
Formally, soundness means:
So the proof system proves only statements that are true in every model of the assumptions.