Model theory is a branch of mathematical logic which investigates properties of mathematical structures expressible in a formal (usually first-order) language  and conversely investigates the expressive power of formal languages by reference to what they can say about particular mathematical structures