数学归纳法适用于证明的命题类型是(  )