The property of a formal theory that it admits two or more nonisomorphic models which nonetheless satisfy the same axioms, demonstrating that the axioms do not uniquely characterize an intended structure up to isomorphism.

Principle

Organizing idea: first-order axioms often leave freedom for multiple, inequivalent realizations because first-order logic cannot, in general, force uniqueness of structure across all cardinalities without additional constraints or higher-order resources.

Demonstration

Group axioms are noncategorical because there are many nonisomorphic groups satisfying the same group axioms; first-order Peano arithmetic is noncategorical as it admits nonstandard models different from the standard naturals.

Misapplication

Mistaking noncategoricity for inconsistency or weakness of mathematics; or assuming that noncategoricity means the theory has no useful content rather than that it permits multiple realizations compatible with its axioms.

Consequence

Noncategoricity signals the need to refine axioms, restrict the intended models, or move to stronger logics (e.g., second-order axioms with full semantics) if uniqueness up to isomorphism is required for the intended application.

Reversal

The reverse situation is categoricity, where a theory has, up to isomorphism, exactly one model of a given cardinality or under a chosen semantics; categoricity provides the kind of unique characterization noncategoricity lacks.

Boundary

Depends on the logic and the cardinalities considered: a theory may be noncategorical in first-order logic yet categorical in a specific cardinality or under second-order semantics; noncategoricity excludes only uniqueness claims, not other utility of the theory.

Semantic Tension

Tension arises between the desire for axiomatic sufficiency (one theory, one structure) and the model-theoretic appreciation of multiple realizations; this tension influences whether one favors richer axioms or model plurality.

Synthesis

Noncategoricity describes when axioms permit multiple, nonisomorphic models; it is a diagnostic about what the axioms do not fix and a prompt either to accept plural models or to strengthen the language to recover uniqueness.