Several generalizations of mathematical induction

• 数学归纳法的几个推广