Version of set theory in which axioms are taken as uninterpreted rather than as formalizations of pre-existing truths; defined using a formal logic.