User:IssaRice/Computability and logic/Intended interpretation versus all interpretations

Something I have found tricky in mathematical logic is that some theorems/propositions apply to just the intended/standard interpretation (structure), while others are about all possible interpretations. Texts also don't necessarily emphasize this point each time, so you have to figure it out.

Normally when we say a mathematical statement is true, we mean that it is true in the standard (or intended) interpretation. For instance, we say that $2+2=4$ is true. But $2+2=4$ could also be false if we adopt a non-standard interpretation. In other words, we still keep the same signature ($2$ and $4$ are still constants, $+$ is still a binary function) but we assign different meanings to these non-logical symbols.

However, when we talk about semantic consequence (a.k.a. logical consequence, logical implication) and write things like $\mathrm{\Gamma }\models \varphi$ (where $\mathrm{\Gamma }$ is a set of sentences and $\varphi$ is a sentence) then this doesn't just mean that "if all sentences in $\mathrm{\Gamma }$ are true, then the sentence $\varphi$ also is true". Rather, it means that this "if-then" is true in every possible interpretation. In other words, when we write $\mathrm{\Gamma }\models \varphi$ we mean that there is no interpretation in which every sentence in $\mathrm{\Gamma }$ is true but $\varphi$ is false. This is also sometimes expressed by saying that $\varphi$ is true in all models of $\mathrm{\Gamma }$.