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.

Principle

The organizing idea is that completeness and compactness of first-order logic, together with flexible encodings of structures, permit models that extend or distort intended elements (for example adding 'infinite' integers or infinitesimals) while preserving all axioms.

Demonstration

Peano arithmetic admits nonstandard models that contain 'infinite' integers beyond every standard natural number; nonstandard analysis yields extensions of the real numbers that include infinitesimal and infinite elements while satisfying the transfer principle.

Misapplication

Dismissing nonstandard models as irrelevant or as mistakes because they do not match intuition; or assuming a nonstandard model falsifies the standard theory rather than showing a distinction between syntax and intended semantics.

Consequence

Recognition of nonstandard models emphasizes model-theoretic plurality and suggests alternative techniques (e.g., transfer, saturation) that can be used for proofs and intuitions; it requires clarifying when one means 'the' structure versus 'a' model of the axioms.

Reversal

The reversal is a categorical theory in which every model is isomorphic to the intended standard model (up to relevant cardinalities and semantics), eliminating nonstandard elements by stronger axioms or higher-order constraints.

Boundary

Applies to formal theories where the axioms do not categorically characterize the intended structure; it excludes contexts where 'standard model' is uniquely fixed by stronger semantics (e.g., full second-order Peano axioms) or by additional metatheoretic commitments.

Semantic Tension

Tension exists between the model-theoretic view (many models of the axioms exist) and the platonist or intended-structure view (there is a single correct structure); deciding which perspective to adopt affects how nonstandard models are used or dismissed.

Synthesis

A nonstandard model is not an error but a legitimate model-theoretic object: it satisfies the axioms while harboring elements the original informal conception did not intend, highlighting the gap between syntactic adequacy and semantic intention.