Explain Georg Cantor's diagonal argument and how it demonstrates that there are different sizes of infinity. Differentiate between countable and uncountable infinities, specifically comparing the set of natural numbers (aleph-null) to the set of real numbers, and discuss the implications for the foundations of mathematics.