Vita:set theory

v t e set theory
axioms	adjunction choice countable dependent constructibility (v=l) determinacy extensionality infinity limitation of size pairing power set regularity union martin's axiom axiom schema replacement specification	venn diagram of set intersection
operations	cartesian product complement complement de morgan's laws disjoint union intersection intersection power set complement set difference symmetric difference union union
concepts methods	cardinality cardinal number (large) class class constructible universe continuum hypothesis diagonal argument element element ordered pair tuple family forcing forcing one-to-one correspondence ordinal number transfinite induction venn diagram
set set types	countable empty finite (hereditarily) fuzzy infinite (dedekind-infinite) recursive subset⧼dot-separator⧽superset transitive uncountable universal
theories	alternative axiomatic naive cantor's theorem zermelo general principia mathematica new foundations zermelo–fraenkel von neumann–bernays–gödel morse–kelley kripke–platek tarski–grothendieck
paradoxes problems	russell's paradox suslin's problem burali-forti paradox
set theorists	abraham fraenkel bertrand russell ernst zermelo georg cantor john von neumann kurt gödel paul bernays paul cohen richard dedekind thomas jech thoralf skolem willard quine