Definition:Model Theory

Definition
Model theory is a sub-branch of mathematical logic which studies mathematical structures by means of formal languages.