# Set theory/Related Articles

From Citizendium, the Citizens' Compendium

*See also changes related to Set theory, or pages that link to Set theory or to this page or whose text contains "Set theory".*

## Parent topics

- Mathematics [r]: The study of quantities, structures, their relations, and changes thereof.
^{[e]} - Mathematical logic [r]:
*Add brief definition or description* - Naive set theory [r]:
*Add brief definition or description* - Axiom system [r]:
*Add brief definition or description* - Axiomatic set theory [r]:
*Add brief definition or description*

## Subtopics

- Axiom of choice [r]: Set theory assertion that if S is a set of disjoint, non-empty sets, then there exists a set containing exactly one member from each member of S.
^{[e]} - Boolean algebra [r]: A form of logical calculus with two binary operations
*AND*(multiplication, •) and*OR*(addition, +) and one unary operation*NOT*(negation, ~) that reverses the truth value of any statement.^{[e]} - Cardinality [r]: The size, i.e., the number of elements, of a (possibly infinite) set.
^{[e]} - Power set [r]: The set of all subsets of a given set.
^{[e]} - Set (mathematics) [r]: Informally, any collection of distinct elements.
^{[e]} - Venn diagram [r]: A visual representation of inclusion relations of sets or logical propositions by arrangements of regions in the plane.
^{[e]} - Zermelo-Fraenkel axioms [r]: One of several possible formulations of axiomatic set theory.
^{[e]}

- Bertrand Russell [r]: (1872–1970) British analytic philosopher, logician, essayist and political activist.
^{[e]} - Euler diagram [r]:
*Add brief definition or description* - Georg Cantor [r]: (1845-1918) Danish-German mathematician who introduced set theory and the concept of transcendental numbers
^{[e]} - Kurt Gödel [r]: (1906-1978) Austrian born American mathematician, most famous for proving that in any logical system rich enough to describe naturals, there are always statements that are true but impossible to prove within the system.
^{[e]} - Logic symbols [r]: A shorthand for logical constructions
^{[e]} - Venn diagram [r]: A visual representation of inclusion relations of sets or logical propositions by arrangements of regions in the plane.
^{[e]}