设P（n)表示一个与自然数n有关的命题，若
（1）P（n)对无数多个自然数n都成立；
（2）假设P（k+1)成立，可推出P（k)也成立；
则P(n)对一切自然数n都成立.
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。