|
elim【 \( A_k,A_{k++1},…,\displaystyle\lim_{n→∞} A_n\)是不完全归纳法,也是与你和范副用分析方法寻找证明的途径是一致的。如此表示的优点在于\(\displaystyle\lim_{n→∞}A_n)\)中的n→∞是由Peano axioms从1逐次递加直至无穷的。所以\(\displaystyle\lim_{n→∞}\{n+1,n+2,……\}\)中的数都是由Peano axioms唯一确定的。elim认为【即便 \(\displaystyle\lim_{m→∞}m=α∈N\),\(\displaystyle\lim_{m→∞}(m+j)∈N\),仍有 α+j\notin A_{α+j}\)进而仍有 α+j\notin N_∞\)(j=0,1,2,…)】elim先生\(\displaystyle\lim_{m→∞} A_m=A_α\)是\(\displaystyle\bigcap_{m=1}^∞ A_m\)的极限集,\(A_{α+j}\)不在极限集定义之中,所以α+j(j=1,2,3,……)只能是\(A_α\)的元素。所以\(N_∞=N_α≠\phi\)! |
|