...that there are different sizes of infinite sets in set theory? More precisely, not all infinite cardinal numbers are equal?