Portal:Set theory
Set theory is the branch of mathematics that studies sets, which are collections of distinct objects. Although any type of objects can be collected into a set, set theory is applied most often to objects that are relevant to mathematics. The modern study of set theory was initiated by Georg Cantor and Richard Dedekind in the 1870s. After the discovery of paradoxes in informal set theory, numerous axiom systems were proposed in the early twentieth century, of which the Zermelo–Fraenkel axioms, with the axiom of choice, are the most well known.
Set theory, formalized using first-order logic, is the most common foundational system for mathematics. The language of set theory is used in the definitions of nearly all mathematical objects, such as functions, and concepts of set theory are integrated throughout the mathematics curriculum. Elementary facts about sets and set membership can be introduced in primary school, along with Venn diagrams, to study collections of commonplace physical objects Template:/box-footer-empty
Lua error in package.lua at line 80: module 'Module:Box-header/colours' not found. A set is a collection of distinct objects considered as a whole. Sets are one of the most fundamental concepts in mathematics and their formalization at the end of the 19th century was a major event in the history of mathematics and lead to the unification of a number of different areas. The idea of function comes along naturally, as "morphisms" between sets.
The study of the structure of sets, set theory, can be viewed as a foundational ground for most of mathematical theories. Sets are usually defined axiomatically using an axiomatic set theory, this way to study sets was introduced by Georg Cantor between 1874 and 1884 and deeply inspired later works in logic. Sets are representable in the form of Venn diagrams, for instance it can represent the idea of union, intersection and other operations on sets.
| ...Other articles | Read more... |
Lua error in package.lua at line 80: module 'Module:Box-header/colours' not found. In mathematics, the Cantor set, introduced by German mathematician Georg Cantor in 1883[1] (but discovered in 1875 by Henry John Stephen Smith [2]), is a set of points lying on a single line segment that has a number of remarkable and deep properties. Through consideration of it, Cantor and others helped lay the foundations of modern general topology. Although Cantor himself defined the set in a general, abstract way, the most common modern construction is the Cantor ternary set, built by removing the middle thirds of a line segment. Cantor himself only mentioned the ternary construction in passing, as an example of a more general idea, that of a perfect set that is nowhere dense.
Lua error in package.lua at line 80: module 'Module:Box-header/colours' not found. Georg Cantor (March 3, 1845 – January 6, 1918) was a German mathematician. He is best known as the creator of set theory, which has become a fundamental theory in mathematics. Cantor established the importance of one-to-one correspondence between sets, defined infinite and well-ordered sets, and proved that the real numbers are "more numerous" than the natural numbers. In fact, Cantor's theorem implies the existence of an "infinity of infinities". He defined the cardinal and ordinal numbers, and their arithmetic. Cantor's work is of great philosophical interest, a fact of which he was well aware.
Lua error in package.lua at line 80: module 'Module:Box-header/colours' not found.
In mathematics, the symmetric difference of two sets is the set of elements which are in one of the sets, but not in both. This operation is the set-theoretic kin of the exclusive disjunction (XOR operation) in Boolean logic.
- ... that there exists a composition of binary relations consistent with the composition of functions ?
- ... that there is an ordinal arithmetic extending the arithmetic of natural numbers to the ordinal numbers ?
- ... that sets which are both infinite and countable have a cardinality of aleph null?
Template:/box-header Template:/Categories Template:/box-footer
- Improve the set theory articles
- Expand this portal
| Key concepts | Types of set theory | Mathematical logic | Set-theoretic constructions |
|---|---|---|---|
 |
 |
 |
 |
 |
 |
 |
 |
| Algebra | Analysis | Category theory |
Computer science |
Cryptography | Discrete mathematics |
Geometry |
 |
 |
 |
 |
 |
 |
 |
|
| Logic | Mathematics | Number theory |
Physics | Science | Set theory | Statistics | Topology |
- What are portals?
- List of portals
- Featured portals
Template:/box-header The Mathematics WikiProject is the center for mathematics-related editing on Wikipedia. Join the discussion on the project's talk page.
Project pages
Essays
Subprojects
Related projects
- What are portals?
- List of portals
- Featured portals
- ↑ Georg Cantor, On the Power of Perfect Sets of Points (De la puissance des ensembles parfait de points), Acta Mathematica 4 (1884) 381--392. English translation reprinted in Classics on Fractals, ed. Gerald A. Edgar, Addison-Wesley (1993) ISBN 0-201-58701-7
- ↑ Ian Stewart, Does God Play Dice?: The New Mathematics of Chaos
