A version of Set Theory in which axioms are taken as uninterpreted rather than as formalizations of pre-existing truths.
