v t e Set theory
Overview	Set (mathematics)
Axioms	Adjunction Choice countable dependent global Constructibility (V=L) Determinacy Extensionality Infinity Limitation of size Pairing Power set Regularity Union Martin's axiom Axiom schema replacement specification
Operations	Cartesian product Complement (i.e. set difference) De Morgan's laws Disjoint union Identities Intersection Power set Symmetric difference Union
Concepts Methods	Almost Cardinality Cardinal number (large) Class Constructible universe Continuum hypothesis Diagonal argument Element ordered pair tuple Family Forcing One-to-one correspondence Ordinal number Set-builder notation Transfinite induction Venn diagram
Set types	Amorphous Countable Empty Finite (hereditarily) Filter base subbase Ultrafilter Fuzzy Infinite (Dedekind-infinite) Recursive Singleton Subset · 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	Paul Bernays Georg Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo

Template documentation

This template's initial visibility currently defaults to collapsed, meaning that it is hidden apart from its title bar.

To change this template's initial visibility, the |state= parameter may be used:

((Set theory|state=expanded)) will show the template expanded, i.e. fully visible.
((Set theory|state=autocollapse)) will show the template autocollapsed, i.e. if there is another collapsible item on the page (a navbox, sidebar, or table with the collapsible attribute), it is hidden apart from its title bar, but if not, it is fully visible.

v t e Logic templates
Types of logic	Classical logic Mathematical logic Metalogic Non-classical logic Philosophical logic
Other templates	Common logical symbols Logic functions Logical connectives Logical paradoxes Logical truth Set theory Transformation rules
Logic navbar

Editors can experiment in this template's sandbox and testcases pages.
Subpages of this template.