“Georg Cantor's major result was proving that the set of all real numbers is an uncountable set, meaning it represents a larger infinity than the countable set of natural numbers.”