关于一个有限集合基数定理的归纳法证明