Category:Cantor's Theory of Sets

From ProofWiki
Jump to navigation Jump to search

This category contains results about Cantor's Theory of Sets.
Definitions specific to this category can be found in Definitions/Cantor's Theory of Sets.

Georg Cantor's set theory builds upon Richard Dedekind's notion that an infinite set can be placed in one-to-one correspondence with a proper subset of itself.

However, he noticed that not all infinite sets are of the same cardinality.

While he appreciated that the sets of integers, rational numbers and algebraic numbers have the same cardinality as each other, aleph-null ($\aleph_0$), the set of real numbers have a different (larger) cardinality.

On noticing that the power set of a set has a strictly larger cardinality than the set itself, he realised that there is an infinite number of these transfinite numbers.

This category currently contains no pages or media.