\(\Huge\color{red}{\mathbb{N}\textbf{无最大元}\implies\lim n\not\in\mathbb{N}}\)

春风晚霞

根据皮亚诺公理笫三条\(\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}\)无最大元\(\implies\lim n\not\in\mathbb{N}\)
【证明】因\(\lim n\)是\(\mathbb{N}\)的上界,若\(\lim n\in\mathbb{N}\),则\(\lim n\)
\(\qquad\)是\(\mathbb{N}\)的最大元, 与\(\mathbb{N}\)无最大元的事实不合.\(\;\;\square\)

春风晚霞

elim 发表于 2025-7-21 15:12
滚驴指望啼猿声打驴滚获戈培尔效应．畜生不如
回到滚驴不敢面对, 却滚屁滔滔回避的主贴：

【命题:】 若集列\(\{A_k=\{m\in\mathbb{N}:m≤k\}\)，则\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)
【证明:】因为集列\(\{A_k=\{k\in\mathbb{N}\}\)(已知)
易证集列\(A_k=\{1，2.…，(k-1)，k\}\)单调递增。所以根据单调集列极限集的定义有：
\(\displaystyle\lim_{n \to \infty}A_n=\)\(\displaystyle\bigcup_{n=1} ^{\infty}A_n=\)\(\displaystyle\lim_{n \to \infty}\{1，2，…\displaystyle\lim_{n \to \infty}n\)(n-1)，\(\displaystyle\lim_{n \to \infty}n\}=\)\(\mathbb{N}\)，所以\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)！【证毕】

春风晚霞

根据皮亚诺公理笫三条\(\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的【骤便】理论，Peano排排\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)这样的话也只有elim说得出来！！

春风晚霞

elim 发表于 2025-7-21 16:47
【定理】自然数皆有限数.
【证】令\(\omega\)为最小无穷序数,\(S=\{n\in\mathbb{N}:\;n< \omega\}\)
\(\ ...

根据皮亚诺公理笫三条\(\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的【骤便】理论，Peano排排\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)这样的话也只有elim这种不要腹的人说得出来！！

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}\)