6.3.5 超限数和连续统假设