\(\Huge\color{blue}{\textbf{没有最小超穷自然数}}\)

春风晚霞

命题：若\(\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}
【证毕】
         因为在自然数理论中，\(v\displaystyle\lim_{n \to \infty}n\)是一个确切的数，所以\(v减有限数k\)也是确切的数。因此有限数k是\(v\)的\(v-k\)代前趋，即\(v-(v-k)=k\)！

春风晚霞

命题：若\(\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}
【证毕】
         因为在自然数理论中，数\(v=\displaystyle\lim_{n \to \infty}n\)“既表示把一个个单位放上去的确切计数，又表示它们所汇集成的整体”（康托尔语）。所以\(v减有限数k\)也是确切的计数。因此有限数k是\(v\)的\(v-k\)代前趋，即\(v-(v-k)=k\)！所以\(v\notin\mathbb{N}\)时、\(v-(v-k)\)\(\notin\mathbb{N}\),当k=2时，\(v-(v-2)\notin\mathbb{N}\)即\(2\notin\mathbb{N}\)！

elim

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

春风晚霞

       因为\(v=\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)(否则\(\mathbb{N}=\phi\))！所以\(v\)是一个确定的自然数，所以\(v\)的前趋\((v-1)\)和\(v\)的后继\((v+1)\)也是自然数(皮亚诺公理第二条)。另一方面如果\(\color{red}{仅从取值看}\)\((v-1)=\)\(\infty-1=\infty\)，\((v+1)\)\(=\infty+1=\infty\).所以\(\displaystyle\lim_{n \to \infty}n=\infty=\infty\pm 1\)并不违反皮亚诺公理！根据皮亚诺公理我们还可从\(\color{red}{取值上}\)证得\(\displaystyle\lim_{n \to \infty}n\)\(=\infty=\infty\pm j\)(j为有限自然数）！
       elim先生认为\(\displaystyle\lim_{n \to \infty}n\)反皮亚诺公理，这是故意装疯卖傻。我相信elim先生还是读得懂〖每个\(\color{red}{确定}\)的自然数\(a\)，都有\(\color{red}{确定}\)的后继\(a＇\)，\(a＇\)也是自然数〗的！
       然而\(\color{red}{从序数}\)的角度看\(v-1\)、\(v\)、\(v+1\)又是三个不同的\(\infty\)。皮亚诺公理是从基数和序数的一致性来陈述自然数的。elim先生割裂自然数基数和序数的一致性，认为【\(\displaystyle\lim_{n \to \infty}n\)\(=\infty=\infty\pm 1\)反皮亚诺公理】是极其错误的。其实，真正反皮亚诺公理的是elim先生你自己！

春风晚霞

从康托尔有穷基数的无穷序列1，2，3，……,，\(\nu(=\displaystyle\lim_{n \to \infty}n\)，\(\omega\)，\(\omega+1\),，\(\omega+2\),，……（参见康托尔《超穷数理论基础》P42，P43，P44页）知康托尔实正整数集\(\Omega=\mathbb{N}\displaystyle\bigcup_{n=1}^{\infty}\Omega_j\),基中\(\mathbb{N}=\{1,2,3,……\nu\}\),\(\Omega_j=\{j\omega，j\omega+1，j\omega+2，……，j\omega+\nu\}\)\((j\in\mathbb{N})\).我们知道自然数三大巨头（康托尔、皮亚诺、冯\(\cdot\)诺依曼。当然没有elim）的理论完全兼容且高度一致。所以，在\(\mathbb{N}\)和每个\(\Omega_j\)中除起始元(0或\(j\omega\)外都有直前（即直接前趋），并且\(\mathbb{N}\)和每个,\(\Omega_j\)均无最大数。同时\(\mathbb{N}\)和每个,\(\Omega_j\)均满足良序原理。所以自创的自然数“理论”是反现行数理论的胡说八道。elim胡搅蛮缠、无理取闹足见其流氓成性，不可救药！

春风晚霞

       从康托尔有穷基数的无穷序列1，2，3，…，\(\nu(=\displaystyle\lim_{n \to \infty}n)\)，\(\omega\)，\(\omega+1\)，\(\omega+2\)，…（参见康托尔《超穷数理论基础》P42，P43，P44页）知康托尔实正整数集\(\Omega=\mathbb{N}\displaystyle\bigcup_{j\in\mathbb{N}}\Omega_j\),基中\(\mathbb{N}=\{1，2，3，…\nu\}\)，\(\Omega_j=\{j\omega，\)\(j\omega+1，\)\(j\omega+2，\)\(…，j\omega+\nu\}\)\((j\in\mathbb{N})\).我们知道自然数三大巨头（康托尔、皮亚诺、冯\(\cdot\)诺依曼，当然没有elim）的理论完全兼容且高度一致。所以，在\(\mathbb{N}\)和每个\(\Omega_j\)中除起始元(0或\(j\omega\))外都有直前（即直接前趋，当然包括\(\displaystyle\lim_{n \to \infty}n\)），并且\(\mathbb{N}\)和每个\(\Omega_j\)均无最大数。同时\(\mathbb{N}\)和每个\(\Omega_j\)均满足良序原理。所以elim自创的自然数“理论”是反现行自然数理论的胡说八道。elim胡搅蛮缠、无理取闹的行为足见其流氓成性，不可救药！

春风晚霞

       从康托尔有穷基数的无穷序列1，2，3，…，\(\nu(=\displaystyle\lim_{n \to \infty}n)\)，\(\omega\)，\(\omega+1\)，\(\omega+2\)，…（参见康托尔《超穷数理论基础》P42，P43，P44页）知康托尔实正整数集\(\Omega=\mathbb{N}\displaystyle\bigcup_{j\in\mathbb{N}}\Omega_j\),基中\(\mathbb{N}=\{1，2，3，…\nu\}\)，\(\Omega_j=\{j\omega，\)\(j\omega+1，\)\(j\omega+2，\)\(…，j\omega+\nu\}\)\((j\in\mathbb{N})\).我们知道自然数三大巨头（康托尔、皮亚诺、冯\(\cdot\)诺依曼，当然没有elim）的理论完全兼容且高度一致。所以，在\(\mathbb{N}\)和每个\(\Omega_j\)中除起始元(0或\(j\omega\))外都有直前（即直接前趋，当然包括\(\displaystyle\lim_{n \to \infty}n\)），并且\(\mathbb{N}\)和每个\(\Omega_j\)均无最大数。同时\(\mathbb{N}\)和每个\(\Omega_j\)均满足良序原理。所以elim自创的自然数“理论”是反现行自然数理论的胡说八道。elim胡搅蛮缠、无理取闹的行为足见其流氓成性，不可救药！

elim

滚驴看不懂下定理及其证明：
【定理】\(v=\displaystyle\lim_{n\to\infty}n\) 没有前趋．
【证明】任取自然数 \(k\), 显然\(m=k+2\) 亦为
\(\qquad\)自然数.  因 \(v\)是\(\mathbb{N}\)的上界, 故 \(m\le v\) 进而
\(\qquad\;k+1< m\le v\) 即\(k\) 的后继不是\(v\). 亦即
\(\qquad\;k\)不是\(v\)的前趋. 据\(k\)的任意性, \(v=\lim n\)
\(\qquad\,\)无前趋. \(\small\;\;\square\)

春风晚霞

       从康托尔有穷基数的无穷序列1，2，3，…，\(\nu(=\displaystyle\lim_{n \to \infty}n)\)，\(\omega\)，\(\omega+1\)，\(\omega+2\)，…（参见康托尔《超穷数理论基础》P42，P43，P44页）知康托尔实正整数集\(\Omega=\mathbb{N}\displaystyle\bigcup_{j\in\mathbb{N}}\Omega_j\),基中\(\mathbb{N}=\{1，2，3，…\nu\}\)，\(\Omega_j=\{j\omega，\)\(j\omega+1，\)\(j\omega+2，\)\(…，j\omega+\nu\}\)\((j\in\mathbb{N})\).我们知道自然数三大巨头（康托尔、皮亚诺、冯\(\cdot\)诺依曼，当然没有elim）的理论完全兼容且高度一致。所以，在\(\mathbb{N}\)和每个\(\Omega_j\)中除起始元(0或\(j\omega\))外都有直前（即直接前趋，当然包括\(\displaystyle\lim_{n \to \infty}n\)），并且\(\mathbb{N}\)和每个\(\Omega_j\)均无最大数。同时\(\mathbb{N}\)和每个\(\Omega_j\)均满足良序原理。所以elim自创的自然数“理论”是反现行自然数理论的胡说八道。elim胡搅蛮缠、无理取闹的行为足见其流氓成性，不可救药！

elim

蠢疯和\(\small\text{APB}\)都称存在无穷大自然数. 由自然数的良序性
存在最小无穷大自然数\(v\). 据皮亚诺公理, 存在某自然
数\(m\)使\(v\small =m+1\)即\(v\)是\(m\)的后继. 因\(v\)是最小无穷自然
数, \(m\)是最大有限自然数. 可见存在无穷大自然数的必
要条件是存在最大有限自然数.  由于有限自然数的后
继仍有限, 所以不存在最大有限自然数，于是不存在
无穷大自然数.