\(\Huge\color{red}{数学家陶哲轩先生论\lim n\in\mathbb{N}}\)

春风晚霞

        【自然数皆有限数】这是民科学者的共同认识，作为民科领袖elim想把这一认识作为数学定理，发扬光大；强迫不同见解的数学人（当然也包括春风晚霞）接受他的歪理邪说\(\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)。elim论证\(\displaystyle\lim_{n \to \infty}n\)\(\notin\mathbb{N}\)的帖子无一不是循环论证！特别是近段时间elim总把一些被批烂、批臭的宿帖反复放进论坛。elim自知无理取闹，采取发了删，删了又发的流氓手段，并且篇篇均以各种兽语对春风晚霞发动进攻。对于elim这种流氓行为，春风晚霞被迫还击。elim还想把论坛霸屏的责任的甩锅给春风晚霞，真他娘的扯淡！那么现行数学有没有教科书对这个问题进行讨论呢，还是有的。数学家陶哲轩在他的《陶哲轩实分析》第三版P19页2—4行讲道：自然数系能够趋向于无穷大，但它不能取到无穷大，无穷大不是自然数。（存在其它数系，使得“无穷大”是该数系中的元素。例如基数系、序数系以及p进数系）,并声明这些数系“完全不在本书的讨论范围之内”。
        理解陶哲轩先生的这段话应该注意以下两点：①自然数可趋向“无穷大”，这是因为在分析数学中，无穷大（即\(\infty)\)是集合，是变化趋势。所以自然数可趋向“无穷大”但不能等于“无穷大”。其实，按陶哲轩先生的观点\(\displaystyle\lim_{n \to \infty}n\)是属于\(\mathbb{N}\)的；由于elim不知道什么是\(\infty\),什么是趋于\(\infty\)。所以elim理解不了\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)的正确性； ②根据陶先生的“存在其它数系，使得“无穷大”是该数系中的元素。例如基数系、序数系以及p进数系”。集合论是在基数系、序数系下展开讨论的，APB先生是在十进系下展开讨论的。所以春风晚霞的定理：若\(\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)，则\(\mathbb{N}=\phi\)及APB先生“既然\(\mathbb{N}\)是无穷集，则\(\mathbb{N}\)必含无穷大”的论断也是正确的！

春风晚霞

       elim真不愧是民科领袖！不管是谁的东西，你从来都不屑于顾，截个图都断章取义。陶哲轩先生在他的《陶哲轩实分析》第三版P19页2—4行讲道：自然数能够趋向于无穷大，但它不能取到无穷大，无穷大不是自然数。但也存在〖存在其它数系，使得“无穷大”是该数系中的元素。例如基数系、序数系以及p进数系〗。并声明这些数系“完全不在本书的讨论范围之内”。
        理解陶哲轩先生的这段话应该注意以下两点：①自然数可趋向“无穷大”，这是因为在分析数学中，无穷大（即\(\infty\)是集合，是变化趋势)。所以自然数可趋向“无穷大”但不能等于“无穷大”。其实，按陶哲轩先生的观点\(\displaystyle\lim_{n \to \infty}n\)是属于\(\mathbb{N}\)的；由于elim不知道什么是\(\infty\),什么是趋于\(\infty\)。所以elim理解不了\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)的正确性； ②根据陶先生的“存在其它数系，使得“无穷大”是该数系中的元素。例如基数系、序数系以及p进数系”，集合论是在基数系、序数系下展开讨论的，APB先生是在十进系下展开讨论的。所以春风晚霞的定理：若\(\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)，则\(\mathbb{N}=\phi\)及APB先生“既然\(\mathbb{N}\)是无穷集，则\(\mathbb{N}\)必含无穷大”的论断也是正确的！
        elim混世魔王，你的【序列\(\{n\}\)是无穷大量，但不含无穷大项，即\(\displaystyle\lim_{n \to \infty}n\)\(\notin\mathbb{N}\)】是在\(\color{red}{基数系、序数系}\)\(\color{red}{或p进系}\)中讨论的吗？你他妈的凭什么说基数系、序数系或p进系中不含无穷大项？又是你那个狗屁不如的【底层逻辑】是吧？！elim，你连读这么短的一句话都读不懂，还他妈的很懂数学，很懂集合论？真他娘的扯淡！

春风晚霞

1、自然数的ISO定义:
【定义：】非负整数（0,1,2,3,...）叫自然数。
2、ISO是什么组织
ISO是国际标准化组织（International Organization for Standardization）的简称
3、自然数集\(\mathbb{N}\)的定义:
【定义:】所有非负整数（0及正整数），用于计量物体数量或表示次序的数所成的集合叫自然数集\(\mathbb{N}\).
4、【定理】\(\mathbb{N}\subset\Omega\)
【证明:】由康托尔有穷基数的无穷数列1，2，…\(\nu(=\displaystyle\lim_{n \to \infty}n)\)，ω，ω+1，…知\(\Omega=\)\(\displaystyle\bigcup_{j\in\mathbb{N}}\Omega_j\)，其中\(\Omega_j=\{jω，jω+1，…jω+\nu(=\displaystyle\lim_{n \to \infty}n)\}\).所以\(\mathbb{N}\subset\Omega\).
5、【定理:】\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)
【证明:】根据国际标准ISO 80000-2:2019的关于自然数和自然数集\(\mathbb{N}\)的定义，因为\(v=\displaystyle\lim_{n \to \infty}n>0\)(即\(v\)非负)，所以\(v=\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\).

春风晚霞

elim真了不起，你连什么是自然数？什么是自然数集？什么是无穷？什么是趋向无穷都一概不知道，连波亚诺公理，康托尔正整数生成法则都不用。居然也能证得【自然数皆有限数】，\(v=\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)？真是不愧是民科领袖！你把“目中无人，死不要脸”的致胜秘诀发扬到了极致。你还好意思拿那些被批臭、批烂的宿帖拿来显摆，拿来胡搅蛮缠。似此流氓无赖，真他娘的羞人！

春风晚霞

1、什么是无穷大：
【定义】：若整序变量\(x_n\)，由某项开始，其绝对值变成且保持着大于预先给定的任意大数E>0，当n>\(N_E\)时恒有|\(x_n\)|>\(N_E\)，则称变量\(x_n\)为无穷大（参见菲赫金戈尔茨《数学分析原理》第一卷第一分册P59页无穷大的定义）
2、命题：\(v=\displaystyle\lim_{n \to \infty} n\in\mathbb{N}\)
【证明】因为\(\forall\alpha\in\mathbb{N}\)恒有：\(\mathbb{N}=\{x\le\alpha\}\cup\{x>\alpha\}\)，设\(v=\displaystyle\lim_{n \to \infty} n\)，所以当\(x>α\)时，\(x\in\{\alpha+1, \alpha+2,…，v-2，\)\(v-1，v，v+1，…\}\)\(\subset\mathbb{N}\)，所以\(…，v-2，\)\(v-1，\)\(v，\)\(v+1，…\)都是自然数。特别的\(v=\displaystyle\lim_{n \to \infty} n\)是自然数！【证毕】
【注意】该证明不仅证明了\(v=\displaystyle\lim_{n \to \infty} n\)是自然数，也证明了还有比\(v\)更大的自然数。即自然数集只有更大，没有最大。

春风晚霞

自然数\(\displaystyle\lim_{n \to \infty}n\)不是\(\mathbb{N}\)中的最大数

        因为ω是极限序数，所以\(\nu(=\displaystyle\lim_{n \to \infty}n)\)不是ω的直接前趋，所以\(\displaystyle\lim_{n \to \infty}(n\)\(+1)≠ω\)，又因ω的后继是ω+1，所以\(\displaystyle\lim_{n \to \infty}(n+1)\)也不是ω的后继。所以\(\displaystyle\lim_{n \to \infty}(n+1)<ω\)(数的三歧性)，所以\(\displaystyle\lim_{n \to \infty}(n+1)\in\mathbb{N}\)（即皮亚诺公理对\(\nu=\displaystyle\lim_{n \to \infty}n\)成立)。因为\(\displaystyle\lim_{n \to \infty}(n+1)>\)\(\displaystyle\lim_{n \to \infty}n\)，所以\(\nu=\displaystyle\lim_{n \to \infty}n\)不是\(\mathbb{N}\)中的最大数.
       其实，就算elim用流氓手段把\(\displaystyle\lim_{n \to \infty}n\)驱逐出\(\mathbb{N}\),你也证明不了\(\mathbb{N}\)中的元素都是有限自然数！因为\(\mathbb{N}\)中还有无穷多个诸如\(\displaystyle\lim_{n \to \infty}(n\)\(-k)\)这样的无穷元！

春风晚霞

        陶哲轩先生在他的《陶哲轩实分析》第三版P19页2—4行也讲了〖存在其它数系，使得“无穷大”是该数系中的元素。例如基数系、序数系以及p进数系〗。
        由于集合论是在基数系和序数系下展开讨论的，集列\(\{A_k=\{m\in\mathbb{N}:m≤k\}\}\)的极限集是在十(p=10）进数系下讨论的。所以\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)。同时我们根据数的三歧性原理证明了皮亚诺公理第二条对\(\displaystyle\lim_{n \to \infty}n\)成立(参见《\(\displaystyle\lim_{n \to \infty}n\)不是\(\mathbb{N}\)中最大数》的证明)。因此，elim的【\(\displaystyle\lim_{n \to \infty}n=\)\(sup\mathbb{N}\)\(\notin\mathbb{N}\)】的臆想不成立！所以\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)再次得到严谨证明。
        对于elim这样的民科领袖，本帖他是不会看的。他宁肯削足适靴，他也会坚持他的胡说八道。不过分享本帖，也为关注\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)问题的网友提供参考！

谢芝灵

《陶哲轩实分析》第三版P19页2—4行讲道：自然数系能够趋向于无穷大，但它不能取到无穷大，无穷大不是自然数。（存在其它数系，使得“无穷大”是该数系中的元素。例如基数系、序数系以及p进数系）,并声明这些数系“完全不在本书的讨论范围之内”。

自然数系也叫自然数列，自然数系≠某个自然数。
不能偷换概念。
正确的：自然数系能够趋向于无穷大。
错误的：自然数能够趋向于无穷大。---- 为什么错误？：因为可以证明每个自然数都不是无限大的，所以每个自然只能是有限的大。
为什么？ 就得看无穷的定义（本处省略）。
由无穷的定义得知 就是没有完整的界。
无穷大的定义 就是数列往大的方向没有终止的界。
无穷小的定义 就是数列往小的方向没有终止的界。
当然，由无穷的定义也会得到无穷就是一个没有终止的过程。------ 没有后界。

有了定义，就会知道 所有的无穷 只能是一个数系（或数列），无穷不是某一个自然数。
所以，不能用 “自然数系能够趋向于无穷大。” 偷换成 “自然数能够趋向于无穷大。”
因为 “自然数能够趋向于无穷大。”会产生歧义：某一个自然数是无穷大。

无穷或无穷大 指一个数列（数系）。不是单指一个自然数字。

问题来了：可不可以把 无穷（或无穷大）定义为一个数字？类似 精神病康托尔的\(\aleph_0\)。也就是 无穷（或无穷大）可不可以扩域成一个数字？
这里就必须定义数与非数，定义有穷与无穷。
当定义了 数与非数，定义有穷与无穷时，就可证明任何无穷的概念不是数。
所以 后部分【存在其它数系，使得“无穷大”是该数系中的元素。例如基数系、序数系以及p进数系】 就是错误的。
前部分（自然数系能够趋向于无穷大，但它不能取到无穷大，无穷大不是自然数。）是正确的 ，我用定义证明了是正确的。