I am struggling with the way to write a clear and mathematical proof of logical theorems. Take for example the theorem $\Gamma \models A, \Gamma \subseteq \Delta$ implies $\Delta \models A$. I can prove it this way:
If every formula in $\Delta$ is validated, then that validates every formula in $\Gamma$, which validates $A$.
But how do I prove such thing with mathematical language?