Set theory/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>John R. Brews |
imported>John R. Brews |
||
| Line 18: | Line 18: | ||
==Other related topics== | ==Other related topics== | ||
{{r|Bertrand Russell}} | |||
{{r|Euler diagram}} | |||
{{r|Georg Cantor}} | {{r|Georg Cantor}} | ||
{{r|Kurt Gödel}} | {{r|Kurt Gödel}} | ||
{{r|Logic symbols}} | |||
{{r|Venn diagram}} | {{r|Venn diagram}} | ||
Revision as of 07:22, 22 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]
- 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]