用集合论理解数学归纳法

• Understanding Mathematical Induction by Set Theory