Provide a theoretical explanation of Georg Cantor's diagonal argument. Compare and contrast countable infinity (aleph-null) with uncountable infinity, explaining mathematically why there are different 'sizes' of infinity and how this revolutionized modern mathematics.