|
本帖最后由 春风晚霞 于 2025-5-6 18:53 编辑
由elim的\(\displaystyle\lim_{n \to \infty}n-k\)不属于\(\mathbb{N}\)推出\(\mathbb{N}\)缺失任何自然数 m,理由如下:当\(k=n-m,\forall m\in\mathbb{N}\)时,\(\displaystyle\lim_{n \to \infty} (n-(n-m)=m\)不属于\(\mathbb{N}\),所以由elim的\(\displaystyle\lim_{n \to \infty} n-k\)不属于\(\mathbb{N}\)推出\(\forall m\)都不属于\(\mathbb{N}\)。所以\(\mathbb{N}=\phi\)! |
|