|
elim,\(\displaystyle\bigcap_{n =1}^{\infty}A_n\ne\phi\),现分两步证明如下:
一、证明\(v=\displaystyle\lim_{n→∞} n\)是自然数
【证明】反证法:若\(v=\displaystyle\lim_{n→∞} n\)不是自然数,则由皮亚诺公理第二条,\(v\)的前趋\(v-1\)也不自然数(否则\(v=\displaystyle\lim_{n→∞} n\)是自然数,这与\(v=\displaystyle\lim_{n→∞} n\)不是自然数的假设矛盾!)逆用皮亚诺公理\(v-1\)的前趋\(v-2\)也不是自然数,类此分析(k+1)的前趋k不是自然数,…,2的前趋1不是自然数,1的前趋0也不是自然数。所以自然数集\(\mathbb{N}=\phi\),这与\(\mathbb{N}≠\phi\)矛盾,所以\(v=\displaystyle\lim_{n\to\infty} n\)是逻辑确定的客观存在的自然数。【证毕】
二、证明\(\displaystyle\bigcap_{n =1}^{\infty}A_n\ne\phi\)
【证明:】由一的证明知:\(v=\displaystyle\lim_{n\to\infty} n\)是逻辑确定的客观存在的自然数,根据皮亚诺公理第二条\(v=\displaystyle\lim_{n\to\infty} n\)的后继\(v+1=\displaystyle\lim_{n\to\infty}(n+1)\)也是逻辑确定的客观存在的自然数。类此证明\(v+j=\displaystyle\lim_{n\to\infty}(n+j)\)\( \quad j\in\mathbb{N}\)也是逻辑确定的客观存在的自然数!
由于\(H_{\infty}=\displaystyle\bigcap_{n =1}^{\infty}A_n=\displaystyle\lim_{n→∞} n=\)\(\displaystyle\lim_{n→∞} \{n+1,…,n+j,…\}\)\(\quad(j\in\mathbb{N})\),所以\(H_{\infty}=\displaystyle\bigcap_{n =1}^{\infty}A_n\ne\phi\)!【证毕】 |
|