- Etymology
- Compound of model + theory. Study of structures satisfying axioms.
- Model
- A structure in which axioms hold. From Latin modulus.
- Theory
- A body of knowledge. From Greek θεωρία (theōria).
- Origin
- Tarski, Robinson. Mid-20th century.
- Meaning
- Study of mathematical structures that satisfy given axioms.
- Earliest use
- Tarski 1930s; Robinson 1950s.
- Definition
- Study of mathematical structures that satisfy given axioms. A model of a theory is a structure in which all axioms hold. Connects syntax (axioms) to semantics (interpretation).