This tag is for set theory topics typically studied at the advanced undergraduate or graduate level. These include cofinality, axioms of ZFC, axiom of choice, forcing, set-theoretic independence, large cardinals, models of set theory, ultrafilters, ultrapowers, constructible universe, inner model theory, definability, infinite combinatorics, transfinite hierarchies; etc. More elementary questions should use the "elementary-set-theory" tag instead.

This tag is for set theory topics typically studied at the advanced undergraduate or graduate level. More elementary questions should use the tag elementary-set-theory instead.

Topics relevant to this tag include cofinality, axioms of ZFC and of close variants (such as ZFA, KP, NBG, MK), axiom of choice, forcing, set-theoretic independence, large cardinals, models of set theory, ultrafilters, ultrapowers, constructible universe, inner model theory, definability, infinite combinatorics, transfinite hierarchies; etc.

For questions about alternative set theories, use instead the tag alternative-set-theories.