Description: Cantor's theorem in terms of cardinals. This theorem tells us that no matter how large a cardinal number is, there is a still larger cardinal number. Theorem 18.12 of Monk1 p. 133. (Contributed by NM, 5-Nov-2003)
Ref | Expression | ||
---|---|---|---|
Assertion | canth3 | |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | canth2g | |
|
2 | pwexg | |
|
3 | cardsdom | |
|
4 | 2 3 | mpdan | |
5 | 1 4 | mpbird | |