集合的基数&数学归纳法