Nonstandard Model

A model of a formal theory that satisfies all the axioms of the theory but contains elements or relations not present in the intended or 'standard' interpretation, often produced by model-theoretic constructions such as compactness or ultraproducts.