Metamath Proof Explorer

Table of Contents - 5.12. Cardinality of real and complex number subsets

1. Countability of integers and rationals
   1. xpnnen
   2. znnen
   3. qnnen
2. The reals are uncountable
   1. rpnnen2lem1
   2. rpnnen2lem2
   3. rpnnen2lem3
   4. rpnnen2lem4
   5. rpnnen2lem5
   6. rpnnen2lem6
   7. rpnnen2lem7
   8. rpnnen2lem8
   9. rpnnen2lem9
   10. rpnnen2lem10
   11. rpnnen2lem11
   12. rpnnen2lem12
   13. rpnnen2
   14. rpnnen
   15. rexpen
   16. cpnnen
   17. rucALT
   18. ruclem1
   19. ruclem2
   20. ruclem3
   21. ruclem4
   22. ruclem6
   23. ruclem7
   24. ruclem8
   25. ruclem9
   26. ruclem10
   27. ruclem11
   28. ruclem12
   29. ruclem13
   30. ruc
   31. resdomq
   32. aleph1re
   33. aleph1irr
   34. cnso