Axioms for galactic set theory.
Overview
Introduction
Membership and Pseudo-urelements
Extensionality and Well-foundedness
Subsets, PowerSets and Union
Replacement
Galaxies
Pair and Unit sets
Separation
Union and Intersection
Proof Context