Model Theory (Definition)
The branch of mathematical logic that deals with the relationship between formal languages and their interpretations (models).
📜
The statement of the theorem
It studies structures that satisfy sets of sentences in a formal language.