Model theory is a body of study which provides useful procedures in the fields of mathematics and computer science.