## Quick Reference

Fundamental theorem of set theory, proved by Cantor in 1891. It is usually split into two parts. Cantor's theorem says that the set of real numbers is non-denumerable. Cantor's power set theorem shows that the power set of any set is always greater than the set itself. Cantor proved both results by a diagonal argument. See also continuum, number, set theory.

*Subjects:*
Philosophy.

## Related content in Oxford Index

##### Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.