Model theory is an area of mathematics which studies algebraic and combinatoric objects from a mathematical logic point of view.