algebra of sets

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

axiomatic system | complete axiomatic theory | naive set theory