##  [Nonstandard Model](/nonstandard-model-0) 

 Definition

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

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

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

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

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

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

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

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

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.