Model theory

The study of mathematical structures and their interpretations.