Model theory/Definition

The study of the interpretation of any language, formal or natural, by means of set-theoretic structures.