model theory

Noun

 * 1)  The study of the relationship between formal theories and their models.