Axiomatic set theory is a version of set theory in which axioms are taken as uninterpreted rather than as formalizations of pre-existing truths.
Axiomatic Set Theory
See also
Axiomatic System, Complete Axiomatic Theory, Naive Set Theory, Set TheoryExplore with Wolfram|Alpha
References
Curry, H. B. Foundations of Mathematical Logic. New York: Dover, pp. 22-23, 1977.Referenced on Wolfram|Alpha
Axiomatic Set TheoryCite this as:
Weisstein, Eric W. "Axiomatic Set Theory." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/AxiomaticSetTheory.html