axiomatic set theory
version of set theory in which axioms are taken as uninterpreted rather than as formalizations of pre-existing truths; defined using a formal logic
--Agreed Upon Solutions

The discussion does not exist would you like to add the first comment?

anonymous