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.