摘要: 完全归纳 令依据情况为S(i0),s(i0+1),…s(j0),并根据已经证明了对任意的n≥j0,S(i0),S(i0+1),…,S(n)能一起推出S(n+1)。现在,假设至少存在一个不小于i0的n值使S(n)不成立,并设b是令S(b)为假的最小的不小于i0的整数。那么b就不能是i0和j0之间的整数 阅读全文
posted @ 2023-02-06 20:20 永生辉皇 阅读(84) 评论(0) 推荐(0)