A logical system which possesses an explicitly stated set of axioms from which theorems can be derived.
Axiomatic System
See also
Axiomatic Set Theory, Categorical Axiomatic System, Complete Axiomatic Theory, Consistency, Model Theory, TheoremExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Axiomatic System." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/AxiomaticSystem.html