Explain Georg Cantor's distinction between countable and uncountable infinity. Provide a detailed walkthrough of Cantor's diagonal argument used to prove that the set of real numbers is uncountably infinite. Discuss the concept of cardinality and the continuum hypothesis. How does the hierarchy of infinite sets challenge intuition regarding the size of mathematical sets?