\(\Huge\color{blue}{\textbf{没有无穷大自然数}}\)

春风晚霞

        elim于2025-7-20 21:56再发宿帖，称【滚驴指望啼猿声驴打滚获戈培尔效应,畜生不如】，为防elim反复删重发的诈骗手段，现对其宿帖再次评述于后：
       【原文:】【定理】最小无穷序数=第一个极限序数
        \(\color{red}{【评述:】}\)设\(n_e\)是预先给定的、无论怎样大的自然数，则根据∞的定义，\(n_e+1\)才是【最小无穷序数】，在现行集合论中极限序数是没有直接前趋的序数（如0，ω）. 因此原文中的“定理”是个伪命题.
       【原文:】【证明】最小无穷序数μ之前的序数皆有限序数故其后继皆非无穷序数μ 因此 μ是最小非后继序数, 即第一个极限序数．
         \(\color{red}{【评述:】}\)在极合论中\(v=\displaystyle\lim_{n \to \infty}n\)是序数的极限，不是极限序数。因为极限序数（0或ω）没有直接前趋，而\(v\)直接前趋是\(v-1\). 由于elim把μ定义成第一个极限序数。所以最小的μ应该是0，第二个极限序数ω\(\notin\mathbb{N}\)。所以elim的【在最小无穷序数μ之前皆有限数】的结论是错的。从康托尔有穷基数的无穷序列：1，2，…，\(\nu-1\)，\(\nu\)，ω，…知ω之前有无限多个非有限数属于\(\mathbb{N}\).所以elim的这个“证明”也是错的！

春风晚霞

根据皮亚诺公理笫三条\(\mathbb{N}\)任何非0数都有前趋！因为\(\displaystyle\lim_{n \to \infty}n\)、\(\displaystyle\lim_{n \to \infty}n-1\)、…、\(\displaystyle\lim_{n \to \infty}(n-k)\)…都是非0自然数，所以定们都有前趋！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}
【证毕】
         根据波亚诺公理第3条在\(\mathbb{N}\)中，任何非0数都有前趋。所以elim用\(v=\displaystyle\lim_{n \to \infty}n=\)\(v-1=v-2=…=∞\)与皮亚诺公理语境不合是扯淡！

春风晚霞

根据皮亚诺公理笫三条\(\mathbb{N}\)任何非0数都有前趋！因为\(\displaystyle\lim_{n \to \infty}n\)、\(\displaystyle\lim_{n \to \infty}n-1\)、…、\(\displaystyle\lim_{n \to \infty}(n-k)\)…都是非0自然数，所以定们都有前趋！elim证明集合论相关命题，不用集合的交、并、差、补运算，也不用这些集合运算的规律，并此基础上证得了他臭名昭著的【臭便】！现在又故技重施，在证明自然数理论，既不用皮亚诺公理、康托尔正整数生成法则，也不用∞自然数定义，和相关定理，仅鬼他那个挂一漏万的底层逻辑，再次创造出自然数从有限到无限的骤变。所以elim的【骤便】理论，对初学《集合论》、《实变函数论》的学者，百害一益！

春风晚霞

根据皮亚诺公理笫三条\(\mathbb{N}\)任何非0数都有前趋！因为\(\displaystyle\lim_{n \to \infty}n\)、\(\displaystyle\lim_{n \to \infty}n-1\)、…、\(\displaystyle\lim_{n \to \infty}(n-k)\)…都是非0自然数，所以定们都有前趋！elim证明集合论相关命题，不用集合的交、并、差、补运算，也不用这些集合运算的规律，并此基础上证得了他臭名昭著的【臭便】！现在又故技重施，在证明自然数理论，既不用皮亚诺公理、康托尔正整数生成法则，也不用∞自然数定义，和相关定理，仅鬼他那个挂一漏万的底层逻辑，再次创造出自然数从有限到无限的骤变。所以elim的【骤便】理论，对初学《集合论》、《实变函数论》的学者，百害一益！

春风晚霞

根据皮亚诺公理笫三条\(\mathbb{N}\)任何非0数都有前趋！因为\(\displaystyle\lim_{n \to \infty}n\)、\(\displaystyle\lim_{n \to \infty}n-1\)、…、\(\displaystyle\lim_{n \to \infty}(n-k)\)…都是非0自然数，所以定们都有前趋！elim证明集合论相关命题，不用集合的交、并、差、补运算，也不用这些集合运算的规律，并此基础上证得了他臭名昭著的【臭便】！现在又故技重施，在证明自然数理论，既不用皮亚诺公理、康托尔正整数生成法则，也不用∞自然数定义，和相关定理，仅鬼他那个挂一漏万的底层逻辑，再次创造出自然数从有限到无限的骤变。所以elim的【骤便】理论，对初学《集合论》、《实变函数论》的学者，百害一益！

春风晚霞

根据皮亚诺公理笫三条\(\mathbb{N}\)任何非0数都有前趋！因为\(\displaystyle\lim_{n \to \infty}n\)、\(\displaystyle\lim_{n \to \infty}n-1\)、…、\(\displaystyle\lim_{n \to \infty}(n-k)\)…都是非0自然数，所以定们都有前趋！elim证明集合论相关命题，不用集合的交、并、差、补运算，也不用这些集合运算的规律，并此基础上证得了他臭名昭著的【臭便】！现在又故技重施，在证明自然数理论，既不用皮亚诺公理、康托尔正整数生成法则，也不用∞自然数定义，和相关定理，仅鬼他那个挂一漏万的底层逻辑，再次创造出自然数从有限到无限的骤变。所以elim的【骤便】理论，对初学《集合论》、《实变函数论》的学者，百害一益！

elim

滚驴指望啼猿声打驴滚获戈培尔效应．畜生不如
回到滚驴不敢面对的正经论说数学的主贴：

【定理】没有无穷大自然数.
【证明】据\(\mathbb{N}\)的良序性, 若有超穷自然数, 则有
\(\qquad\)最小无穷大自然数\(\mu\), 记其前趋为\(\eta.\)  由\(\mu\)
\(\qquad\)的无穷最小性,\(\eta\)是有限自然数, \(\mu=\eta+1\)
\(\qquad\)亦为有限自然数, 与其为最小无穷矛盾. \(\small\square\)

elim

【定理】自然数皆有限数.
【证】令\(\omega\)为最小无穷序数,\(S=\{n\in\mathbb{N}:\;n< \omega\}\)
\(\qquad\)易见\(S\)满足全部皮亚诺公理因而由皮亚诺公
\(\qquad\)理第五条知\(S=\mathbb{N}\)即自然数皆有限(序数). 但
\(\qquad\;\lim n\)是无穷大数, 故非自然数因而不能用皮
\(\qquad\)亚诺公理定义．\(\;\;\square\)
【注记】简单说非有限次后继操作在皮亚诺语境下
\(\qquad\)无意义. 由冯诺依曼构造知 \(\lim n =\sup\mathbb{N}\) 即
\(\qquad\;\lim n\)非顽瞎目测的自然数而是首个极限序数，
\(\qquad\)没有前趋．



\(\Huge\color{purple}{\textbf{滚驴岂知Peano排斥}\lim n}?\)