Noncategoricity

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
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.