A topological set theory implied by ZF and GPK

Andreas Fackler

We present a system of axioms motivated by a topological intuition: The set of subsets of any set is a topology on that set. On the one hand, this system is a common weakening of Z…