\(\huge\color{darkgreen}{\textbf{孬种不知}}\lim n=\sup\mathbb{N}\)

elim

\(\sup\)即最小上界. 要否定\(v:=\small\displaystyle\lim_{n\to\infty}n=\sup\mathbb{N}\),
蠢疯需证\(v\)非\(\small\mathbb{N}\)之上界, 或非\(\small\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}【证毕】
        对于这个命题的证明，elim提如下反驳意见，1、【对\(v=\displaystyle\lim_{n \to \infty}n，v-1\)不是皮亚诺意义下\(v\) 的前驱;2、\(v=\displaystyle\lim_{n \to \infty}n\)是自然数全序列\(\{n\}\)的上确界】。
        其实elim的两条反驳意见都是反康托尔、反皮亚诺、反冯\(\cdot\)诺依曼自然数理论的。近代数学证明康托尔、皮亚诺、冯\(\cdot\)衣曼自然数理论是兼容的。现以皮亚诺公理回复elim的两条置疑：
        1、皮亚谨五条公理其有五条，①、0是自然数：确立自然数集合的起点。②、每个自然数有唯一后继数：若a是自然数，则其后继数a'（即a+1）也是自然数。③、0不是任何自然数的后继数：排除循环或有限数集的可能性。④、不同自然数后继数不同：保证自然数序列的无限性与唯一性。⑤、归纳公理：若集合S包含0且对后继运算封闭，则S包含所有自然数（支撑数学归纳法）。其中第③明确指出\(\color{red}{0不是任何自然数的后继数}\)：排除循环或有限数集的可能性。换句话讲\(\mathbb{N}\)中任何非0数（包括\(v=\displaystyle\lim_{n \to \infty}n\)）都有前趋。,所以，elim的【\(v=\displaystyle\lim_{n \to \infty}n，v-1\)不是皮亚诺意义下\(v\) 的前驱】是没现行数学理论支撑的。退一万步讲该命题的证明中从第一步到【……\((k+1)\notin\mathbb{N}\)】不就是讲的在\(v=\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)的题设条件下\(v=v-1=v-2……\notin\mathbb{N}\)吗？
       2、在康托尔、皮亚诺、冯\(\cdot\)诺依曼自然数理论没有【\(v=\displaystyle\lim_{n \to \infty}n\)是自然数全序列\(\{n\}\)的上确界】一说，由此引发的任矛盾皆因elim对自然数集\(\mathbb{N}\)上确界定义不自洽所致。
        所以，elim反康托、反皮亚诺逻辑的言elim行确实被畜生不如

春风晚霞

命题：若\(\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提如下反驳意见，1、【对\(v=\displaystyle\lim_{n \to \infty}n，v-1\)不是皮亚诺意义下\(v\) 的前驱;2、\(v=\displaystyle\lim_{n \to \infty}n\)是自然数全序列\(\{n\}\)的上确界】。
        其实elim的两条反驳意见都是反康托尔、反皮亚诺、反冯\(\cdot\)诺依曼自然数理论的。近代数学证明康托尔、皮亚诺、冯\(\cdot\)衣曼自然数理论是兼容的。现以皮亚诺公理回复elim的两条置疑：
        1、皮亚谨五条公理其有五条，①、0是自然数：确立自然数集合的起点。②、每个自然数有唯一后继数：若a是自然数，则其后继数a'（即a+1）也是自然数。③、0不是任何自然数的后继数：排除循环或有限数集的可能性。④、不同自然数后继数不同：保证自然数序列的无限性与唯一性。⑤、归纳公理：若集合S包含0且对后继运算封闭，则S包含所有自然数（支撑数学归纳法）。其中第③明确指出\(\color{red}{0不是任何自然数的后继数}\)：排除循环或有限数集的可能性。换句话讲\(\mathbb{N}\)中任何非0数（包括\(v=\displaystyle\lim_{n \to \infty}n\)）都有前趋。所以，elim的谎言【对\(v=\displaystyle\lim_{n \to \infty}n\)，\(v-1\)不是皮亚诺意义下\(v\) 的前驱】是没现行数学理论支撑的。退一万步讲该命题的证明中从第一步到【……\((k+1)\notin\mathbb{N}\)】不就是讲的在\(v=\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)的题设条件下\(v=v-1=v-2……\notin\mathbb{N}\)吗？
       2、在康托尔、皮亚诺、冯\(\cdot\)诺依曼自然数理论没有【\(v=\displaystyle\lim_{n \to \infty}n\)是自然数全序列\(\{n\}\)的上确界】一说，由此引发的任矛盾皆因elim对自然数集\(\mathbb{N}\)上确界定义不自洽所致。
        所以，elim反康托、反皮亚诺逻辑的言elim行确实畜生不如

春风晚霞

命题：若\(\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提如下反驳意见，1、【对\(v=\displaystyle\lim_{n \to \infty}n，v-1\)不是皮亚诺意义下\(v\) 的前驱;2、\(v=\displaystyle\lim_{n \to \infty}n\)是自然数全序列\(\{n\}\)的上确界】。
        其实elim的两条反驳意见都是反康托尔、反皮亚诺、反冯\(\cdot\)诺依曼自然数理论的。近代数学证明康托尔、皮亚诺、冯\(\cdot\)衣曼自然数理论是兼容的。现以皮亚诺公理回复elim的两条置疑：
        1、皮亚谨五条公理其有五条，①、0是自然数：确立自然数集合的起点。②、每个自然数有唯一后继数：若a是自然数，则其后继数a'（即a+1）也是自然数。③、0不是任何自然数的后继数：排除循环或有限数集的可能性。④、不同自然数后继数不同：保证自然数序列的无限性与唯一性。⑤、归纳公理：若集合S包含0且对后继运算封闭，则S包含所有自然数（支撑数学归纳法）。其中第③明确指出\(\color{red}{0不是任何自然数的后继数}\)：排除循环或有限数集的可能性。换句话讲\(\mathbb{N}\)中任何非0数（包括\(v=\displaystyle\lim_{n \to \infty}n\)）都有前趋。所以，elim的谎言【对\(v=\displaystyle\lim_{n \to \infty}n\)，\(v-1\)不是皮亚诺意义下\(v\) 的前驱】是没现行数学理论支撑的。退一万步讲该命题的证明中从第一步到【……\((k+1)\notin\mathbb{N}\)】不就是讲的在\(v=\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)的题设条件下\(v=v-1=v-2……\notin\mathbb{N}\)吗？
       2、在康托尔、皮亚诺、冯\(\cdot\)诺依曼自然数理论没有【\(v=\displaystyle\lim_{n \to \infty}n\)是自然数全序列\(\{n\}\)的上确界】一说，由此引发的任矛盾皆因elim对自然数集\(\mathbb{N}\)上确界定义不自洽所致。
        所以，elim反康托、反皮亚诺逻辑的言elim行确实畜生不如

elim

\(\sup\)即最小上界. 要否定\(v:=\small\displaystyle\lim_{n\to\infty}n=\sup\mathbb{N}\),
蠢疯需证\(v\)非\(\small\mathbb{N}\)之上界, 或非\(\small\mathbb{N}\)上界之最小者．
然而孬种选择回避挑战．续继驴滚．

那孬种不知其只会玩【阵毙】
那白痴亦不知它只会作滚驴．
滴啦答,滴啦答,滴啦答滴答…