Set theory/Related Articles

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]

Other related topics

• 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; considered to be one of the most important figures in mathematical logic in modern times. ^[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]

Articles related by keyphrases (Bot populated)

• Point-to-Point Protocol [r]: A very flexible protocol for running data over a wide range of media, which use a logical point-to-point topology ^[e]
• Weak link-strong link [r]: An architecture for isolating the detonation system of a nuclear weapon inside a electrically and physically rugged barrier; engineered penetrations through this barrier are the "strong links"; fail-safe response of components inside it to abnormal events are the "weak links" ^[e]
• Line (Euclidean geometry) [r]: (or straight line) In elementary geometry, a maximal infinite curve providing the shortest connection between any two of its points. ^[e]