定理（二）设S是自然数集N的非空子集,如果0S,且.pptVIP

定理(二)：设S是自然数集N的非空子集，如果0?S，且当n?S时，必有n+1?S，则S=N。 定理(三)：设S是自然数集N的非空子集，如果0?S，且当0,1,2,?n?S时，必有n+1?S，则S=N。 数学归纳法，有两种形式： (1)第一数学归纳法 要证一个结论对所有自然数都真，只须做两件事：1)当n=0时，结论成立。 2)若当n=k结论成立，则当n=k+1结论也成立。 (2)第二数学归纳法 要证一个结论对所有自然数都真，只须做两件事： ①当n=0时，结论成立。 ②若当n?k结论成立，则当n=k+1结论也成立 定理(四)：设P(n)是一个与自然数n有关的结论。若对于自然数0，结论成立；并且当对自然数k结论成立时，对于自然数k+1结论也成立，则该结论对所有自然数都成立。 定理(五)：设P(n)是一个与自然数n有关的结论。若对于自然数0，结论成立；并且当对自然数0,1,2,?k结论成立时，对于自然数k+1结论也成立，则该结论对所有自然数都成立。 二、集合的递归定义 定义4.1:集合A的递归(归纳)定义由三部分组成: (1)基础:设置某些对象是在所要定义的集合A中的 (2)归纳(递归):建立一种由集合A的现有元素产生A中新元素的方法。 (3)闭合：除了有限次应用(1)和(2)产生集合A的元素外,A中再没有其它元素。 例：设整数集Z是全集,非负偶整数集E+={x|x