【集合论】求“集的基数小于其幂集的基数”这个定理的名字、