|

楼主 |
发表于 2024-9-21 22:01
|
显示全部楼层
孬种认为单调严格增序列\(\{n\}\)的极限 \(\mu = \displaystyle\lim_{n\to\infty}n\in\mathbb{N}\).
因为所论极限值\(\mu\)不小于序列的任何一项,所以孬种
的认定导致 \(\mu=\max\mathbb{N}\). 这与\(\mathbb{N}\)没有最大数矛盾。
设 \(\mathbb{N}^*\)为\(\mathbb{N}\)的含超限数\(\displaystyle\lim_{n\to\infty}n\)的Peano扩充序集。
令\(S=\mathbb{N}^*-\mathbb{N},\;s\in S\) 则对任意 \(j\in\mathbb{N},\,s-j\in S\)
否则 \(s=(s-j)+j\in\mathbb{N}. \;\; \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\)
无论孬种咋样扯,它总是不懂集论反数学的蠢东西。
|
|