滚驴搅局09\(\Huge\color{green}{\mathbb{N}\textbf{没有无穷元}}\)

elim

归纳集\(\mathbb{N}\)的最小性是自然数皆有限数的根源．
令\(\mathbb{N} ’=\{m\in\mathbb{N}:\;m<  v\}\)(\(v\)为最小无穷数)
易见\(\mathbb{N}’\)是归纳集．皮亚诺公理第五条称 \(\mathbb{N}’\)
\(=\mathbb{N}\)即\(\mathbb{N}\)只含有限数(当然有限数有无穷多).
\(\mathbb{N}\)没有归纳真子集．皮亚诺第五条表明\(\mathbb{N}\)是
最小归纳集．

春风晚霞

由皮亚诺公理得自然数的递归集(\(\dagger\))\(0=\phi\)，\(n+1=n\cup\{n\}=\{0，…，n\}\)得\(\displaystyle\lim_{n \to \infty}n\in\)\(\{0，1，2，…，\displaystyle\lim_{n \to \infty}n\}=\)\(\mathbb{N}=\)\(\displaystyle\lim_{n \to \infty} (n+1)\),【自然数皆为\(\mathbb{N}\)的真子集】尚等证明，不能作为论据！你说了半天，并没有说清楚什么是自然数？为什么\(\displaystyle\lim_{n \to \infty}n\)不是自然数？难道这就是你的底层逻辑？是的，\(\mathbb{N}\)无最大元。试问elim你见过哪 家的数学理论中有最大无穷大，较大无穷大，最小无穷大的提法？谁是白痴岂不显而易见？关于【孬种使用 lim n 而给不出其定义已经两年了】真是扯淡！两年来我多次用康托尔的“数\(v=\displaystyle\lim_{n \to \infty}n\)既表示把一个个单位放上去的确切计数，又表示它们汇集所成的整体“，这算得上是对\(\displaystyle\lim_{n \to \infty}n\)的定义了吧？

春风晚霞

命题：若\(v=\displaystyle\lim_{n \to \infty}n=\infty\notin\mathbb{N}\)，则\(\mathbb{N}=\phi\)

【证明:】
\begin{split}
&\because\quad v=\displaystyle\lim_{n \to \infty}n=\infty\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，\(\displaystyle\lim_{n \to \infty}n\)的定义无需我给出，也容不得你对这个定义作胡乱的诠释！任何一本《实变函数论》或《集合论》中均有这个定义！\(\displaystyle\lim_{n \to \infty}n\in\)\(\{0，1，…，\)\(\displaystyle\lim_{n \to \infty}n\}\)\(=\mathbb{N}\)有什么错？elim不能正确理无穷大与最大的区别。请elim明示你在哪家数学理论中发现有“无穷大就最大”的提法？在你证明【无穷交就是一种骤变】的“底层逻辑”中，不也给出了\(\{1，2，…，\displaystyle\lim_{n \to \infty}n\}\)\(=\mathbb{N}\)吗？不管根据皮亚诺公理、康托尔实整数生成法则还是冯\(\cdot\)诺依曼自然数生成法都有\(\displaystyle\lim_{n \to \infty}(n-j)=\)\(\infty\)(j是有限自然数)，若\(\mathbb{N}\)不含这些无穷元，还能说\(\mathbb{N}\)中的自然数有无穷多个吗？elim你自以为很得意的“底层逻辑”其实就是产生各种“臭便”的诡辩！至于\(\aleph_0=\)\(\aleph_0+250\)这是elim对康托尔“数\(v=\displaystyle\lim_{n \to \infty}n\)既表示把一个个单位放上去的确切计数，又表示它们汇集成的整体”的诋毁！学过《实变函数论》的网友都知道：\(\aleph_0\)是以可列集为单位的元素个数的计数（或可列集的势）！试问elim，你的\(\aleph_0=\aleph_0\)\(+250\)是个什么玩意？elim历来双标，凡和你认识不一致东西一定是別人错了，你总会运用你的“底层逻辑”去使之成为“臭便”。最后特列指出冯\(\cdot\)自然数生成法则中的\(n=\{0,1,\)\(2,…,(n-1)\}\)讲的自然数n是集合\(\{0,1,…,(n-1)\}\)中元素的个数！或者说n是集合\(\{0,1,…,(n-1)\}\)的后继，仅此而已。

春风晚霞

elim，\(\displaystyle\lim_{n \to \infty}n\)的定义无需我给出，任何一本《实变函数论》教科书中均有它的定义！更容不得你对这个定义作胡乱的诠释！\(\displaystyle\lim_{n \to \infty}n\in\)\(\{0，1，…，\)\(\displaystyle\lim_{n \to \infty}n\}\)\(=\mathbb{N}\)有什么错？elim不能正确理无穷大与最大的区别。请elim明示你在哪家数学理论中发现有“无穷大就最大”的提法？在你证明【无穷交就是一种骤变】的“底层逻辑”中，不也给出了\(\{1，2，…，\displaystyle\lim_{n \to \infty}n\}\)\(=\mathbb{N}\)吗？不管根据皮亚诺公理、康托尔实整数生成法则还是冯\(\cdot\)诺依曼自然数生成法都有\(\displaystyle\lim_{n \to \infty}(n-j)=\)\(\infty\)(j是有限自然数)，若\(\mathbb{N}\)不含这些无穷元，还能说\(\mathbb{N}\)中的自然数有无穷多个吗？elim你自以为很得意的“底层逻辑”其实就是产生各种“臭便”的诡辩！至于\(\aleph_0=\)\(\aleph_0+250\)这是elim对康托尔“数\(v=\displaystyle\lim_{n \to \infty}n\)既表示把一个个单位放上去的确切计数，又表示它们汇集成的整体”的诋毁！学过《实变函数论》的网友都知道：\(\aleph_0\)是以可列集为单位的元素个数的计数（或可列集的势）！试问elim，你的\(\aleph_0=\aleph_0\)\(+250\)是个什么玩意？elim历来双标，凡和你认识不一致东西一定是別人错了，你总会运用你的“底层逻辑”去使之成为“臭便”。最后特列指出冯\(\cdot\)自然数生成法则中的\(n=\{0,1,…,(n-1)\}\)讲的自然数n是集合\(\{0,1,…,(n-1)\}\)中元素的个数！或者说n是集合\(\{0,1,…,(n-1)\}\)的后继，仅此而已。

春风晚霞

elim，\(\displaystyle\lim_{n \to \infty}n\)的定义无需我给出，任何一本《实变函数论》教科书中均有它的定义！更容不得你对这个定义作胡乱的诠释！\(\displaystyle\lim_{n \to \infty}n\in\)\(\{0，1，…，\)\(\displaystyle\lim_{n \to \infty}n\}\)\(=\mathbb{N}\)有什么错？elim不能正确理无穷大与最大的区别。请elim明示你在哪家数学理论中发现有“无穷大就最大”的提法？在你证明【无穷交就是一种骤变】的“底层逻辑”中，不也给出了\(\{1，2，…，\displaystyle\lim_{n \to \infty}n\}\)\(=\mathbb{N}\)吗？不管根据皮亚诺公理、康托尔实整数生成法则还是冯\(\cdot\)诺依曼自然数生成法都有\(\displaystyle\lim_{n \to \infty}(n-j)=\)\(\infty\)(j是有限自然数)，若\(\mathbb{N}\)不含这些无穷元，还能说\(\mathbb{N}\)中的自然数有无穷多个吗？elim你自以为很得意的“底层逻辑”其实就是产生各种“臭便”的诡辩！至于\(\aleph_0=\)\(\aleph_0+250\)这是elim对康托尔“数\(v=\displaystyle\lim_{n \to \infty}n\)既表示把一个个单位放上去的确切计数，又表示它们汇集成的整体”的诋毁！学过《实变函数论》的网友都知道：\(\aleph_0\)是以可列集为单位的元素个数的计数（或可列集的势）！试问elim，你的\(\aleph_0=\aleph_0\)\(+250\)是个什么玩意？elim历来双标，凡和你认识不一致东西一定是別人错了，你总会运用你的“底层逻辑”去使之成为“臭便”。最后特列指出冯\(\cdot\)自然数生成法则中的\(n=\{0,1,…,(n-1)\}\)讲的自然数n是集合\(\{0,1,…,(n-1)\}\)中元素的个数！或者说n是集合\(\{0,1,…,(n-1)\}\)的后继，仅此而已。

春风晚霞

elim，\(\displaystyle\lim_{n \to \infty}n\)的定义无需我给出，任何一本《实变函数论》教科书中均有它的定义！更容不得你对这个定义作胡乱的诠释！\(\displaystyle\lim_{n \to \infty}n\in\)\(\{0，1，…，\)\(\displaystyle\lim_{n \to \infty}n\}\)\(=\mathbb{N}\)有什么错？elim不能正确理无穷大与最大的区别。请elim明示你在哪家数学理论中发现有“无穷大就最大”的提法？在你证明【无穷交就是一种骤变】的“底层逻辑”中，不也给出了\(\{1，2，…，\displaystyle\lim_{n \to \infty}n\}\)\(=\mathbb{N}\)吗？不管根据皮亚诺公理、康托尔实整数生成法则还是冯\(\cdot\)诺依曼自然数生成法都有\(\displaystyle\lim_{n \to \infty}(n-j)=\)\(\infty\)(j是有限自然数)，若\(\mathbb{N}\)不含这些无穷元，还能说\(\mathbb{N}\)中的自然数有无穷多个吗？elim你自以为很得意的“底层逻辑”其实就是产生各种“臭便”的诡辩！至于\(\aleph_0=\)\(\aleph_0+250\)这是elim对康托尔“数\(v=\displaystyle\lim_{n \to \infty}n\)既表示把一个个单位放上去的确切计数，又表示它们汇集成的整体”的诋毁！学过《实变函数论》的网友都知道：\(\aleph_0\)是以可列集为单位的元素个数的计数（或可列集的势）！试问elim，你的\(\aleph_0=\aleph_0\)\(+250\)是个什么玩意？elim历来双标，凡和你认识不一致东西一定是別人错了，你总会运用你的“底层逻辑”去使之成为“臭便”。最后特列指出冯\(\cdot\)自然数生成法则中的\(n=\{0,1,…,(n-1)\}\)讲的自然数n是集合\(\{0,1,…,(n-1)\}\)中元素的个数！或者说n是集合\(\{0,1,…,(n-1)\}\)的后继，仅此而已。

春风晚霞

       现行教科书对\(\displaystyle\lim_{n \to \infty}a_n\)的定义都是明确自洽的 .如北大周民强《实变函数论》；吉林师大方嘉琳《集合论》；清华大学陈景良《近代分析数学概要》；复旦大学夏道行《实变函数与泛函分析》；…这些教材的定义都是明确一致的 。对于单调递增集列都有\(\displaystyle\lim_{n \to \infty}a_n=\)\(\displaystyle\bigcup_{n=1}^{\infty}a_n\)这种唯一的表达式。特别的对于单增集列：\(A_1=\{1\}\)，\(A_2=\{1，2\}\)，\(A_3=\{1，2，3\}\)，……\(A_k=\{1,2,…k\}\)，……自然也有\(\displaystyle\lim_{n \to \infty}A_n=\)\(\displaystyle\bigcup_{n=1}^{\infty}A_n=\)\(\mathbb{N}\)。亦即\(\displaystyle\lim_{n \to \infty}\{1,2,…，n\}\)\(\color{red}{=}\mathbb{N}\) .红色等号表示“=”号两端的集合相等！根据两集合相等的充分必要条件，我们有\(\displaystyle\lim_{n \to \infty}A_n\)\(\subseteq\mathbb{N}\)且\(\mathbb{N}\subseteq\displaystyle\lim_{n \to \infty}A_n\)。因为\(\displaystyle\lim_{n \to \infty}n\{1,2,…n\}=\)\(\{1,2,…\displaystyle\lim_{n \to \infty}n\}\)，所以\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)。 从而再次证得\(\displaystyle\lim_{n \to \infty}n=\infty\)\(\in\mathbb{N}\)。
       根据上面的分析关注该板块的网友自然知道，究竟是哪个孬种不敢面对\(\displaystyle\lim_{n \to \infty}n\)的问题！

李利浩

任何事物都是内因和外因共同作用的结果

春风晚霞

elim，\(\displaystyle\lim_{n \to \infty}n\)的定义无需我再给出，任何一本《实变函数论》教科书中均有它的定义！也容不得你对这个定义作胡乱的注解！\(\displaystyle\lim_{n \to \infty}n\in\)\(\{0，1，…，\)\(\displaystyle\lim_{n \to \infty}n\}\)\(=\mathbb{N}\)有什么错？elim不能正确理解无穷大与最大的区别。请elim明示你在哪家数学理论中发现有“无穷大就是最大”的提法？在你证明【无穷交就是一种骤变】的“底层逻辑”中，不也给出了\(\{1，2，…，\displaystyle\lim_{n \to \infty}n\}\)\(=\mathbb{N}\)吗？不管根据皮亚诺公理、康托尔实整数生成法则还是冯\(\cdot\)诺依曼自然数生成法都有\(\displaystyle\lim_{n \to \infty}(n-j)=\)\(\infty\)(j是有限自然数)，若\(\mathbb{N}\)不含这些无穷元，还能说\(\mathbb{N}\)中的自然数有无穷多个吗？elim你自以为很得意的“底层逻辑”其实就是产生各种“臭便”的工具！至于\(\aleph_0=\)\(\aleph_0+250\)这是elim对康托尔“数\(\nu\)\((\nu=\displaystyle\lim_{n \to \infty}n)\)既表示把一个个单位放上去的确切计数，又表示它们汇集成的整体”的诋毁！学过《实变函数论》的网友都知道：\(\aleph_0\)是以可列集为单位的元素个数的计数（或可列集的势）！试问elim，你的\(\aleph_0=\aleph_0\)\(+250\)是个什么玩意？elim历来双标，你主张的观点由你说出来是正确的，由他人说岀来则是错误的。即便是对你认可的知识，如\(\mathbb{N}=\)\(\displaystyle\bigcup_{n=1}^{\infty} n=\)\(\{1，2，…\displaystyle\lim_{n \to \infty}n\}\)(参见elim关于【无穷交就是一种骤变】的各论证帖子），你都要运用你的“底层逻辑”去使之成为“臭便”！似此翻手云覆手雨的耍赖行为，蒙骗初学者或未学者或许有效。对具有思考能力的数学人行骗是没有可能的！最后特别指出冯\(\cdot\)诺依曼自然数生成法则中的\(n=\{0,1,…,(n-1)\}\)讲的自然数n是集合\(\{0,1,…,(n-1)\}\)中元素的个数！或者说集合n是集合\(\{0,1,…,(n-1)\}\)的后继，并非是说【自然数皆有限数】！其实，论正【\(\mathbb{N}\)中没有无穷元】的“底层逻辑”就是\(\mathbb{N}\)中的元素只有有限多个！你的“底层逻辑”是如何化解\(\mathbb{N}\)中的元素个数既是无限又是有限这一矛盾的？