Model theory is in essence the mathematical study of semantics, or meaning, of logic systems. As it has a multitude of applications in various areas of classical mathematics, and logic, but also to many areas of informatics and computing science, there are various perspectives on model theory which differ slightly.