(1) 第一步，是否可省略？

不可以省略。

(2)第二步，从n=k(k≥n0)时命题成立的假设出发，推证 n=k+1 时命题也成立。既然是假设，为什么还要把它当成条件呢？

这一步是在第一步的正确性的基础上，证明传递性。

想一想：