A theory for describing items in mathematics Axioms Axiom of Choice Concepts Set Element Subset Intersection Union Subtheories Naive Set Theory Axiomatic Set Theory Alternatives Type Theory