In: Advanced Math
Prove for the following:
a. Theorem: (Cantor-Schroder-Bernstein in the 1800s) For any set S, |S| < |P(S)|.
b. Proposition N×N is countable.
c. Theorem: (Cantor 1873) Q is countable. (Hint: Similar. Prove for positive rationals first. Then just a union.)