Model theory is concerned with the study of mathematical structures as models of formal languages, and their relation to logical systems.
Model theory is concerned with the study of mathematical structures as models of formal languages, and their relation to logical systems.