|

楼主 |
发表于 2025-4-19 20:41
|
显示全部楼层
令\(v=\displaystyle\lim_{n\to\infty} n,\) 对\(m,k\in\mathbb{N},\)当\(n>m+k\)
时易见 \(m< n-k< \displaystyle\lim_{n\to\infty}(n-k)\). 既然
\(m< v-k\,(\forall m\in\mathbb{N}),\) 令 \(\,m\to\infty\) 即得
\(v=\displaystyle\lim_{m\to\infty}m\le v-k.\) 综上分析得到定理
\((\dagger)\qquad\)超穷数\(v-k=v\;(\forall k\in\mathbb{N}).\)
\(v\)违反皮亚诺公理导出的皮亚诺算术, 可见
\(v-k\)不是自然数\((\forall k\in\mathbb{N})\), 无论\(k\) 取何值
\(v-k\)都不等于\(\{0,1,2,\ldots\}\)中的任何成员.
顺便指出\((\dagger)\)还说明\(v\)无前趋从而非自然数.
所以 \(v\not\in\mathbb{N}\) 推不出 \(\mathbb{N}=\phi.\)
无穷序列\(\{n\}\)没有超穷项. |
|