- Etymology
- Compound of axiomatic + system. A system characterized by axioms.
- Modifier axiomatic
- From axiomatic (q.v.). Pertaining to axioms.
- Head system
- A set of interrelated elements. From Greek σύστημα (sustēma).
- Origin
- Modern formation. Mathematical and logical usage.
- Meaning
- A formal structure based on axioms and inference rules.
- Earliest use
- Attested in OED, Oxford Reference, Merriam-Webster.
- Definition
- A formal system consisting of axioms and inference rules. Examples: Euclidean geometry, Peano arithmetic, ZFC set theory.