Content deleted Content added
Added an explicit reference to the new Lawvere's fixed-point theorem page |
Tanzhexuan (talk | contribs) m a little more clarity |
||
Line 4:
{{SpecialChars}}
In mathematical [[set theory]], '''Cantor's theorem''' is a fundamental result which states that, for any [[Set (mathematics)|set]] <math>A</math>, the set of all [[subset]]s of <math>A,</math> known as the [[power set]] of <math>A,</math> has a strictly greater [[cardinality]] than <math>A</math> itself.
For [[finite set]]s, Cantor's theorem can be seen to be true by simple [[enumeration]] of the number of subsets. Counting the [[empty set]] as a subset, a set with <math>n</math> elements has a total of <math>2^n</math> subsets, and the theorem holds because <math>2^n > n</math> for all [[non-negative integers]].
| |||