Proof
(related to Proposition: Uncountable and Countable Subsets of Natural Numbers)
Ad $(1)$
Ad $(2)$
Thank you to the contributors under CC BY-SA 4.0!

- Github:
-

References
Bibliography
- Wille, D; Holz, M: "Repetitorium der Linearen Algebra", Binomi Verlag, 1994