Soundness

A Calculus is called sound when a $B$ derived from $A$ is entailed by $A$.

So whenever $A{⊢}_{\mathcal{C}}B$ we also have $A\models B$.

When something is not sound, you can prove things which shouldnt be provable.