Soundness

A logical system $\mathcal{K}$ is complete iff

$$\Gamma {⊢}_{\mathcal{K}}\varphi ⟹\Gamma \models \varphi$$