\(\huge\color{red}{^\star\;\textbf{陶哲轩: 无穷}\lim n\not\in\textbf{N}}\)

春风晚霞

        陶哲轩先生在他的《陶哲轩实分析》第三版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}\)问题的网友提供参考！

春风晚霞

elim好了不起哟，既精通集合论，又精通自然数理论！就是不知道什么是无穷？什么叫趋向无穷？什么是无穷数？什么是超穷数？就是不知道\(v=\displaystyle\lim_{n \to \infty}n\)、ω、\(\aleph_0\)、\(\aleph\)各自的定义以及它们与∞的区别与联系！就是不知道单调集列极限集的定义的自洽性(即与交并运算规律的兼容性)！就是不知道你的“臭便”之法挂一个漏万的荒谬性。像你这样连无穷数都不认可的民科领袖，还有谁能奢望你正确解读集合论和自然数理论呢？其实你对自然数的认知不如小学四年级的学生，你对集合论的认识当然不及高中一年级的学生了。像你这样什么都不知道的民科领袖，还好意思把被批烂批臭的宿帖、观点拿出来显摆，真是“人不要脸，所向无敌”哟！

春风晚霞

定理：若\(\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)，则\(\mathbb{N}=\phi\)
【证明:】
\begin{split}
&\because\quad v=\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\quad(已知) \\
&\therefore\quad (v-1)\notin\mathbb{N}\quad(否则v\in\mathbb{N}，Peano axiom第二条)\\
&\therefore\quad (v-2)\notin\mathbb{N}\quad(否则(v-1)\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad (v-3)\notin\mathbb{N}\quad(否则(v-2)\in\mathbb{N}，Peano axioms第二条)\\
&\quad\quad\vdots\quad\quad\quad\quad\vdots \\
&\therefore\quad (k+1)\notin\mathbb{N}\quad(否则(k+2)\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad k\notin\mathbb{N}\quad(否则(k+1)\in\mathbb{N}，Peano axioms第二条)\\
&\quad\quad\vdots\quad\quad\quad \quad\vdots \\
&\therefore\quad 2\notin\mathbb{N}\quad(否则3\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad 1\notin\mathbb{N}\quad(否则2\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad 0\notin\mathbb{N}\quad(否则1\in\mathbb{N，}Peano axioms第二条)\\
&\therefore\quad \mathbb{N}=\phi\quad(因任意自然数都不属于\mathbb{N})
\end{split}
【证毕】

春风晚霞

elim好了不起哟，既精通集合论，又精通自然数理论！就是不知道什么是无穷？什么叫趋向无穷？什么是无穷数？什么是超穷数？就是不知道\(v=\displaystyle\lim_{n \to \infty}n\)、ω、\(\aleph_0\)、\(\aleph\)各自的定义以及它们与∞的区别与联系！就是不知道单调集列极限集的定义的自洽性(即与交并运算规律的兼容性)！就是不知道你的“臭便”之法挂一个漏万的荒谬性。像你这样连无穷数都不认可的民科领袖，还有谁能奢望你正确解读集合论和自然数理论呢？其实你对自然数的认知不如小学四年级的学生，你对集合论的认识当然不及高中一年级的学生了。像你这样什么都不知道的民科领袖，还好意思把被批烂批臭的宿帖、观点拿出来显摆，真是“人不要脸，所向无敌”哟！

春风晚霞

定理：若\(\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)，则\(\mathbb{N}=\phi\)
【证明:】
\begin{split}
&\because\quad v=\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\quad(已知) \\
&\therefore\quad (v-1)\notin\mathbb{N}\quad(否则v\in\mathbb{N}，Peano axiom第二条)\\
&\therefore\quad (v-2)\notin\mathbb{N}\quad(否则(v-1)\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad (v-3)\notin\mathbb{N}\quad(否则(v-2)\in\mathbb{N}，Peano axioms第二条)\\
&\quad\quad\vdots\quad\quad\quad\quad\vdots \\
&\therefore\quad (k+1)\notin\mathbb{N}\quad(否则(k+2)\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad k\notin\mathbb{N}\quad(否则(k+1)\in\mathbb{N}，Peano axioms第二条)\\
&\quad\quad\vdots\quad\quad\quad \quad\vdots \\
&\therefore\quad 2\notin\mathbb{N}\quad(否则3\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad 1\notin\mathbb{N}\quad(否则2\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad 0\notin\mathbb{N}\quad(否则1\in\mathbb{N，}Peano axioms第二条)\\
&\therefore\quad \mathbb{N}=\phi\quad(因任意自然数都不属于\mathbb{N})
\end{split}
【证毕】

春风晚霞

elim好了不起哟，既精通集合论，又精通自然数理论！就是不知道什么是无穷？什么叫趋向无穷？什么是无穷数？什么是超穷数？就是不知道\(v=\displaystyle\lim_{n \to \infty}n\)、ω、\(\aleph_0\)、\(\aleph\)各自的定义以及它们与∞的区别与联系！就是不知道单调集列极限集的定义的自洽性(即与交并运算规律的兼容性)！就是不知道你的“臭便”之法挂一个漏万的荒谬性。像你这样连无穷数都不认可的民科领袖，还有谁能奢望你正确解读集合论和自然数理论呢？其实你对自然数的认知不如小学四年级的学生，你对集合论的认识当然不及高中一年级的学生了。像你这样什么都不知道的民科领袖，还好意思把被批烂批臭的宿帖、观点拿出来显摆，真是“人不要脸，所向无敌”哟！

春风晚霞

定理：若\(\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)，则\(\mathbb{N}=\phi\)
【证明:】
\begin{split}
&\because\quad v=\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\quad(已知) \\
&\therefore\quad (v-1)\notin\mathbb{N}\quad(否则v\in\mathbb{N}，Peano axiom第二条)\\
&\therefore\quad (v-2)\notin\mathbb{N}\quad(否则(v-1)\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad (v-3)\notin\mathbb{N}\quad(否则(v-2)\in\mathbb{N}，Peano axioms第二条)\\
&\quad\quad\vdots\quad\quad\quad\quad\vdots \\
&\therefore\quad (k+1)\notin\mathbb{N}\quad(否则(k+2)\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad k\notin\mathbb{N}\quad(否则(k+1)\in\mathbb{N}，Peano axioms第二条)\\
&\quad\quad\vdots\quad\quad\quad \quad\vdots \\
&\therefore\quad 2\notin\mathbb{N}\quad(否则3\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad 1\notin\mathbb{N}\quad(否则2\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad 0\notin\mathbb{N}\quad(否则1\in\mathbb{N，}Peano axioms第二条)\\
&\therefore\quad \mathbb{N}=\phi\quad(因任意自然数都不属于\mathbb{N})
\end{split}
【证毕】

春风晚霞

        陶哲轩先生在他的《陶哲轩实分析》第三版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}\)问题的网友提供参考！

春风晚霞

        【命题:】若\(\mathbb{N}\)是无限集，则\(v=\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\).
        【证明:】设自然数列的一般项为\(a_k=k\)，则有\(\displaystyle\lim_{k \to \infty}a_k=\)\(\displaystyle\lim_{k \to \infty}k\).所以\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\).也就是说，无论把\(v=\displaystyle\lim_{n \to \infty}n\)理解为柯西极限\(v\)趋近但不等于\(\infty\)，还是理解为威尔斯特拉斯极限（即把\(\infty\)看作一个非正常实数，从而\(v=\infty\). 见华东师大《数学分析》第四版上册P64页第26行)，都有\(v=\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)。所以命题得证.

春风晚霞

定理：若\(\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)，则\(\mathbb{N}=\phi\)
【证明:】
\begin{split}
&\because\quad v=\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\quad(已知) \\
&\therefore\quad (v-1)\notin\mathbb{N}\quad(否则v\in\mathbb{N}，Peano axiom第二条)\\
&\therefore\quad (v-2)\notin\mathbb{N}\quad(否则(v-1)\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad (v-3)\notin\mathbb{N}\quad(否则(v-2)\in\mathbb{N}，Peano axioms第二条)\\
&\quad\quad\vdots\quad\quad\quad\quad\vdots \\
&\therefore\quad (k+1)\notin\mathbb{N}\quad(否则(k+2)\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad k\notin\mathbb{N}\quad(否则(k+1)\in\mathbb{N}，Peano axioms第二条)\\
&\quad\quad\vdots\quad\quad\quad \quad\vdots \\
&\therefore\quad 2\notin\mathbb{N}\quad(否则3\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad 1\notin\mathbb{N}\quad(否则2\in\mathbb{N}，Peano axioms第二条)\\
&\therefore\quad 0\notin\mathbb{N}\quad(否则1\in\mathbb{N，}Peano axioms第二条)\\
&\therefore\quad \mathbb{N}=\phi\quad(因任意自然数都不属于\mathbb{N})
\end{split}
【证毕】