Describe Georg Cantor's diagonal argument in detail. How does this proof demonstrate that the set of real numbers is strictly larger than the set of natural numbers, despite both being infinite? Discuss the philosophical consequences of countable vs. uncountable infinity.