Set theory/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>John R. Brews (→Subtopics: Zermelo-Fraenkel axioms) |
imported>John R. Brews |
||
| Line 9: | Line 9: | ||
==Subtopics== | ==Subtopics== | ||
{{r|Axiom of choice}} | |||
{{r|Boolean algebra}} | |||
{{r|Cardinality}} | |||
{{r|Power set}} | |||
{{r|Set (mathematics)}} | {{r|Set (mathematics)}} | ||
{{r| | {{r|Venn diagram}} | ||
{{r|Zermelo-Fraenkel axioms}} | {{r|Zermelo-Fraenkel axioms}} | ||
Revision as of 08:27, 20 July 2011
- 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]
- Georg Cantor [r]: (1845-1918) Danish-German mathematician who introduced set theory and the concept of transcendental numbers [e]
- Bertrand Russell [r]: (1872–1970) British analytic philosopher, logician, essayist and political activist. [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]
- Venn diagram [r]: A visual representation of inclusion relations of sets or logical propositions by arrangements of regions in the plane. [e]
- Euler diagram [r]: Add brief definition or description