A **prime model** is a concept from model theory, which is a branch of mathematical logic. Specifically, a prime model is a model of a particular theory that has a certain property of being "elementarily embeddable" into any other model of that theory.
