|
定义 \(A_n=\{k\in\mathbb{N}: k> n\}=\{n+1,n+2,\ldots\}\;(n\in\mathbb{N})\)
评注 \(A_n\) 是大于\(n\) 的自然数全体.
[定义 \(\;N_{\infty}:=\displaystyle\bigcap_{n=1}^\infty A_m(=\lim_{n\to\infty}A_n)\)
则 \(m\in N_{\infty}\implies m\in A_m\implies m > m\)
评注这是一个逻辑蕴涵式。表示后件真是前件真的必要条件.
即 \(m\in N_{\infty}\) 的必要条件是 \(m > m\).
现在后件恒假,所以前件恒假. 即\(N_{\infty}=\varnothing.\)
以上论述很简捷, 使用到的依据非常初等, 如果其中有错,应该也是
容易被捕捉到的. 其它标榜为正确而与本论述相悖的论述,不是推翻
本论述的理由.
|
|