A set is said to be uncountable or uncountably infinite if it is infinite and cannot be placed into a one-to-one correspondence (i.e., a bijection) with the set of natural numbers. Georg Cantor proved that the set of real numbers is uncountable, a fact sometimes referred to as the “non-denumerability of the reals.”