model theory

This article discusses model theory as a mathematical discipline and not the informally used term mathematical model as used in other parts of mathematics and science. In mathematics, model theory is the study of mathematical structures via  logical formulas. Model theory uses results about the  logical properties of a language to get results about objects (structures, sets) that the language can describe.
See more at Wikipedia.org...