\(\Huge\color{red}{\displaystyle\bigcap_{n=1}^\infty A_n \subset A_{v_j} }\)

春风晚霞

放你娘的臭狗屁！,根据你所给单调递减集列的定义\(\{A_n=\{m\in\mathbb{N}:m>n\}\}\)得\(\displaystyle\lim_{n\to\infty} A_n=\)\(\displaystyle\bigcap_{n=1}^{\infty} A_n=\)\(\displaystyle\lim_{n\to\infty}\{n+1，n+2，，……，\}\)。很明显，当\(v_j=\displaystyle\lim_{n\to\infty}(n+j)\)时，\(v_j\in\displaystyle\lim_{n\to\infty} A_n\);\(A_{vj}=\{\displaystyle\lim_{n\to\infty} (n+j+2)、
\displaystyle\lim_{n\to\infty} (n+j+3)、……，\}=\)\(\{v_{j+1}、v_{j+2}、v_{j+3}，……，\}\)
所以\(A_{V_J}\subset\displaystyle\bigcap_{n=1}^{\infty} A_n\)

elim

APB, 门外汉, 范副jzkyllcjl, 主楞, 首席白痴, 蠢疯，
终将走到一起抱团取暖.  然而肚里没货还不甘寂寞，
说到底也只能玩意淫自嗨．没人拿这些当真．

孬种无理可说的时候，就说放你娘的臭狗屁, 你根本不懂这个那个...

春风晚霞

       elim经过一段时间（从2025年3月5日至2025年4月4日）的"潜心研究"，终于在2025年4月5日08：19又重返论坛继续他的胡说八道。
       elim关于\(H_{\infty}=\displaystyle\bigcap_{n =1}^{\infty}A_n=\phi\)\(\quad (A_n:=\{m\in\mathbb{N}:m>n\})\)，无论是根据北大周民强著《实变函数论》定义P9定义1.8还是定义1.9均可得到\(H_{\infty}=\displaystyle\bigcap_{n =1}^{\infty}A_n=\)\(\displaystyle\lim_{n \to \infty}A_n=\)\(\displaystyle\lim_{n \to \infty}\{n+1，n+2，……\}\)。所以elim要想证明\(H_{\infty}=\displaystyle\bigcap_{n =1}^{\infty}A_n=\phi\)，需且只需证明\(v=\displaystyle\lim_{n \to \infty}n\)不存在！现在我们用反证法证明\(v=\displaystyle\lim_{n \to \infty}n\)是逻辑确定的客观存在的自然数。其证明如下：
       【证明:】反证法:若\(v=\displaystyle\lim_{n→∞} n\)不存在，则由皮亚诺公理第二条，\(v\)的前趋\(v-1\)也不存在（否则\(v=\displaystyle\lim_{n→∞} n\)存在，这与\(v=\displaystyle\lim_{n→∞} n\)不存在的假设矛盾！）。逆用皮亚诺公理\(v-1\)的前趋\(v-2\)也不是自然数，类此分析(k+1)的前趋k不存在，…，2的前趋1不是自然数，1的前趋0也不是自然数。所以自然数集\(\mathbb{N}=\phi\)，这与\(\mathbb{N}≠\phi\)矛盾，所以\(v=\displaystyle\lim_{n\to\infty} n\)是逻辑确定的客观存在的自然数。【证毕】
       由于\(v=\displaystyle\lim_{n\to\infty} n\)是逻辑确定的客观存在的自然数，再根据皮亚诺公理第二条\(v=\displaystyle\lim_{n\to\infty} n\)的后继\(v+1=\displaystyle\lim_{n\to\infty}(n+1)\)也是逻辑确定的客观存在的自然数。类此\(v+j=\displaystyle\lim_{n\to\infty}(n+j)\)\( \quad j\in\mathbb{N}\)也是逻辑确定的客观存在的自然数！从而也就无矛盾的证明了 \(H_n{\infty}=\displaystyle\bigcap_{n =1}^{\infty}A_n\ne\phi\)！
       其实elim既不懂无穷，也不懂自然数，更不懂什么叫着证明，全凭其打着维护现行数学幌子，骗得的一点可怜的信任，在论坛上死缠烂打，耍赖撒泼。那么什么叫做证明呢？现行数学是这样说的，所谓证明是指从命题的题设出发，根据已知的定义（如elim的单调递减集列\(\{A_n:=\{m\in\mathbb{N}:m>n\}\}\)的定义，单调集列极限集的定义）、公理（如自然数的皮亚诺公理）、定理，逐步推导出命题的结论的逻辑演绎过程。而elim则是与之相反。他海量的烂贴均是从\(v=\displaystyle\lim_{n\to\infty} n\)不是自然数这个他期待的结果出发，去证明\(v=\displaystyle\lim_{n\to\infty} n\)不是自然数。所以elim的一切胡说八道均为循环论证，除了欺骗他的粉丝，别无任何可取之处！

春风晚霞

        elim于2025-10-30 13:38发表新主题《\(\lim n\in\mathbb{N}\)\(\implies\lim n\notin\mathbb{N}\)》该主题的主帖认为【\(\displaystyle\lim_{n \to \infty}n=m\)\(\in\mathbb{N}\),则对n>M=m+1令\(n\to\infty\)得\(\displaystyle\lim_{n \to \infty}n<\)\(m+1=M\le\displaystyle\lim_{n \to \infty}n=m\),\(m+1\le m\)\(\implies m\notin\mathbb{N}\)\(\implies\displaystyle\lim_{n \to \infty}n\)\(\notin\mathbb{N}\)】elim论述之余，一如既往地对春风晚霞发动攻击，【顽瞎目测蕴含顽瞎目测的否定，此乃嗜屎报应.】【滚驴白痴真身被验明，孬贼船漏不打一处来.】
        elim的这个主题及主贴既向我们充分地展示了elim反数学的丑恶嘴脸，也充分暴露了elim嗜屎如命，滚驴白痴的肮脏心理。同时更进一步展示了elim不懂数学论证、不懂自然数、不懂无穷数学白痴的事实。现在我们结合《\(\lim n\in\mathbb{N}\)\(\implies\lim n\notin\mathbb{N}\)》这个主题重点讲讲什么是论证。
        所谓证明是指〖从命题的题设出发，根据已知的定义（如自然数的定义）、公理（如皮亚诺公理）、定理（如自然数集是无限集定理），逐步推导出未知（即结论）的逻辑演译过程〗，所以要证明命题【\(\lim n\in\mathbb{N}\)\(\implies\lim n\notin\mathbb{N}\)】，我们们必须从〖\(\lim n\in\mathbb{N}\)〗这个\(\color{red}{题设}\)条件出发，根据皮亚诺公理（犹其是皮亚诺公理第二条），去逻辑演译出\(\lim n\notin\mathbb{N}\)这个结论。所以，正确地演译应是〖若\(\lim n\in\mathbb{N}\)\(\implies\lim n+1\in\mathbb{N}\)（理论根据是皮亚诺公理第二条：每一个确定的自然数a，都有一个确定的后继数a'（=a+1），a'(=a+1)也是自然数.〗于是问题就转化成如\(m+1\)是不是自然数的问题。如果\(m+1\)是自然数（即皮亚诺公理对\(\displaystyle\lim_{n \to \infty}n\)是否成立的问题）。
        现在我们证明命题：皮亚诺公理对\(\displaystyle\lim_{n \to \infty}n\)依然成立。
        证明：因为在现行数学理论中只有形如\(j\cdot\omega\)\((j\in\mathbb{N})\)这样的数没有直接前趋只有后继(即极限序数)，而\(\displaystyle\lim_{n \to \infty}n\)不是\(\omega\)的直前，所以\(\displaystyle\lim_{n \to \infty}n+1\ne\omega\),又因\(\omega\)的后继是\(\omega+1\)，所以\(\displaystyle\lim_{n \to \infty}n+1\in\mathbb{N}\).所以皮亚诺公理对自然数\(\displaystyle\lim_{n \to \infty}n\)成立.【证毕】。
        注意：我们在此\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)的基础上亦可证明\(\displaystyle\lim_{n \to \infty}2n\)、\(\displaystyle\lim_{n \to \infty}2^n\)、\(\displaystyle\lim_{n \to \infty}10^n\)、……是自然数！证明的合理性请参见康托尔《超穷数理论基础》P75页第7—8行.
Elim，由问题的一般（项）通过极限的手段探测无穷，这是数学上常规有效方法，这种方法应用于一切步及极限动算的始终。所以你反对目测，其实质就是反对现行数学行之有效地论证方法。也因为elim反对目测，所以elim才有\(\displaystyle\lim_{n \to \infty}n=Sup\mathbb{N}\)、\(\displaystyle\lim_{n \to \infty}n=Max\mathbb{N}\)、……这样一些荒谬结论。
        elim纯粹数学是通过严谨的证明获得的，而不是靠耍流氓、耍无赖得到的。郑告民科领袖elim数学切忌撒谎，因为数学中没有戈陪尔效应，谎言千遍，仍是谎言！至此谁嗜吃屎，谁的【白痴真身被验明，孬贼船漏不打一处来】你固然不想承认，然网络诸友想必还是心中有数的！

春风晚霞

elim 发表于 2025-11-5 20:49
对\(\small A_n=\{m\in\mathbb{N}:m>n\},\;N_\infty=\displaystyle\bigcap_{n=1}^\infty A_n\),
若\(\sma ...

        【定理】： 若集列\(\{A_k=\{m\in\mathbb{N}:m≤k\}\)，则\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)
        【证明】：因为集列\(\{A_k=\{m\in\mathbb{N}:m≤k\}\)(已知)
易证集列\(A_k=\{1，2.…，(k-1)，k\}\)单调递增。所以根据单调集列极限集的定义（如北大教材《实变函数论》P9定义1.8）有：
\(\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-1)\)，\(\displaystyle\lim_{n \to \infty}n\}=\)\(\mathbb{N}\)，所以\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)！
【证毕】

elim

对\(\small A_n=\{m\in\mathbb{N}:m>n\},\;N_\infty=\displaystyle\bigcap_{n=1}^\infty A_n\),
若\(\small m\in\displaystyle\bigcap_{n=1}^\infty A_n=N_{\infty}\), 则\(m\)是\(\small\{A_n\}\) 的公共成员，
特别地, 此\(m\)是\(A_m\)的成员, 但这与\(A_m\) 的定义矛盾!
故\(N_{\infty}\)必無成员，即\(\displaystyle\bigcap_{n=1}^\infty A_n=\varnothing\). 否则就出矛盾.  
即使蠢疯孬称 \(\mathbb{N}\)含超穷元素也无济于事.

试问【顽瞎目测】
\(\small\phi=N_\infty=\displaystyle\color{navy}{\lim_{n\to\infty}\{n+1,n+2,\ldots\}=\{v_1,v_2,\ldots\}}\)
放的是孬种还是孬种它娘的臭狗屁？

蠢疯力挺蠢可达，孬种死反周民强.  
不是白痴欠努力，无奈顽瞎种忒孬。

【注记】鉴于孬种具有用驴头不对马嘴的胡扯回贴的德性, 此贴可能需要重发断后，以正视听．

春风晚霞

定理：若\(\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}
【证毕】