用反证法。假设一个命题的数学归纳法的条件成立（一个关于自然数N的命题在N=1时成立，并且在N=K时成立的前提下可以证明在N=K+1时成立），但是这个命题不正确，设A是使这个命题不成立的自然数全体的集合，则A不是空集，则A中有一个最小的数，设为h，则h>1（因为命题在N=1时成立），取K=h+1，则K不属于A，则命题在N=K时成立，可以证明命题在在N=K+1时成立，即命题在N=h时成立，与h属于A矛盾。证毕。