“Cantor was able to show that aleph-one, the next higher number to aleph-zero, counted sets that could not be put into one-to-one correspondence with the rational numbers.”