(1) 第一步,是否可省略?
不可以省略。
(2)第二步,从n=k(k≥n0)时命题成立的假设出发,推证 n=k+1 时命题也成立。既然是假设,为什么还要把它当成条件呢?
这一步是在第一步的正确性的基础上,证明传递性。
想一想: