数学归纳法的几个推广

• Several generalizations of mathematical induction