|
本帖最后由 elim 于 2025-4-28 00:04 编辑
孬种认为严格单增序列\(\{n\}\)极限 \(\mu = \displaystyle\lim_{n\to\infty}n\in\mathbb{N}\).
易然\(\mu\)不小于序列的任何一项,于是所论认定导致
\(\mu=\max\mathbb{N}\). 这与\(\mathbb{N}\)没有最大数矛盾, 可见 \(\mu\not\in\mathbb{N}.\)
设 \(\mathbb{N}^*\)为\(\mathbb{N}\)的含超限数\(\displaystyle\lim_{n\to\infty}n\)的代数保序扩充.
令\({\small S=\mathbb{N}^*-\mathbb{N}},\;s\in S\) 则对任意 \(j\in\mathbb{N},\,s-j\in S\)
(否则 \(s=(s-j)+j\in\small\mathbb{N}\)). 故\(\small\mathbb{N}^*\)的非空子集\(S\)无
最小元, \(\mathbb{N}^*\)不是良序集. 超限归纳法在\(\mathbb{N}^*\)上不成立.
这样的东西不能扩充成\(\mathbb{Z},\,\mathbb{Q},\mathbb{R}\) 因而无法取代\(\mathbb{N}\).
另外\(\forall \alpha\in\mathbb{N}^*,\;\alpha\not\in A_\alpha\)因此\(\forall \alpha\in\mathbb{N}^*\,(\alpha\not\in\displaystyle\bigcap_{\eta\in\mathbb{N}^*}A_\eta=N^*_\infty)\)仍有 \(\displaystyle\bigcap_{\eta\in\mathbb{N}^*}A_\eta = \phi\)
无论孬种咋样扯,它总是不懂集论反数学的蠢东西。
|
|