Indirect proofs of nonexistence

Theorem 160 (Cantor)   There is no onto function $A\to {\cal P}(A)$.

(6 Points )

Theorem 161 (Euclid)   There are infinitely many prime numbers.

(6 Points )

Theorem 162 (Cantor)   The set of real numbers is not countable.

(6 Points )

Corollary 163   There are irrational numbers.

(2 Points )

Corollary 164   There are transcendental numbers.

(2 Points )

Total for section: 22. Total points possible: 505.