数学家比较了两个无限——有关连续统假设