TOPICS
Search

Axiomatic System


A logical system which possesses an explicitly stated set of axioms from which theorems can be derived.


See also

Axiomatic Set Theory, Categorical Axiomatic System, Complete Axiomatic Theory, Consistency, Model Theory, Theorem

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Axiomatic System." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/AxiomaticSystem.html

Subject classifications