Model Theory

Model theory is the study of mathematical structures and the relationships between them. Set theory is used to provide a foundation for model theory.