axiomatic set theory (Q904423)
version of set theory in which axioms are taken as uninterpreted rather than as formalizations of pre-existing truths; defined using a formal logic
Language:
other details
description version of set theory in which axioms are taken as uninterpreted rather than as formalizations of pre-existing truths; defined using a formal logic

External Links
(P349) 00566631
(P1051) 7145
(P2671) /g/1224bhbj
/g/11clszl1zd
(P2812) AxiomaticSetTheory
(P2924) 1807494
(P3417) Axiomatic-Set-Theory
(P6781) Definition:Axiomatic_Set_Theory
(P8408) SystemsOfSetTheory
(P9545) 204306