In mathematics, model theory is the study of classes of mathematical structures (e.g. groups, fields, graphs, universes of set theory) from the perspective of mathematical logic. The objects of study are models of theories in a formal language. We call a set of sentences in a formal language a theory; a model of a theory is a structure (e.g. an interpretation) that satisfies the sentences of that theory.