Provide a step-by-step theoretical walkthrough of Cantor's diagonal argument. Explain how this proof demonstrates that the set of real numbers is strictly larger (uncountable) than the set of natural numbers (countable). Discuss the philosophical impact of different sizes of infinity.