Describe Georg Cantor's diagonal argument. Provide a theoretical explanation for why the set of real numbers is uncountable and distinct from the infinity of natural numbers, establishing the hierarchy of transfinite numbers.