\(\huge\color{red}{\textbf{孬种的集论白痴身份是咋样坐实的}}\)

春风晚霞

elim 发表于 2025-4-10 15:05
孬种的胡扯与现行数学的基本公设共识全面冲突.
另外顽瞎目测孬种计算均无法通过以下验证：
命 \(\display ...

        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-4-11 08:13
孬种的胡扯与现行数学的基本公设共识全面冲突.
另外顽瞎目测孬种计算均无法通过以下验证：
命 \(\display ...

       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\}\}\)的定义，单调集列极限集的定义）、公理（如自然数的皮亚诺公理）、定理（集合交并运算的运算规律），逐步推导出命题的结论（如\(v=\displaystyle\lim_{n\to\infty} n\)是自然数）的逻辑演绎过程。而elim则是与之相反。他海量的烂贴均是从\(v=\displaystyle\lim_{n\to\infty} n\)不是自然数这个他期待的结果出发，去证明\(v=\displaystyle\lim_{n\to\infty} n\)不是自然数。所以，elim的一切胡说八道均为循环论证！.

春风晚霞

        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_{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-4-11 21:55
孬种的胡扯与现行数学的基本公设共识全面冲突.
另外顽瞎目测孬种计算均无法通过以下验证：
命 \(\display ...

        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_{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关于\(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\}\}\)的定义，单调集列极限集的定义）、公理（如自然数的皮亚诺公理）、定理（集合交并运算的运算规律），逐步推导出命题的结论（如\(v=\displaystyle\lim_{n\to\infty} n\)是自然数）的逻辑演绎过程。而elim则是与之相反。他海量的烂贴均是从\(v=\displaystyle\lim_{n\to\infty} n\)不是自然数这个他期待的结果出发，去证明\(v=\displaystyle\lim_{n\to\infty} n\)不是自然数。所以，elim的一切胡说八道均为循环论证！.

春风晚霞

        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关于\(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

孬种的胡扯与现行数学的基本公设共识全面冲突.
另外顽瞎目测孬种计算均无法通过以下验证：
命 \(\displaystyle H_\infty=\bigcap_{n=1}^\infty A_n,\;\;(A_n:=\{m\in\mathbb{N}: m>n\})\)
1) 若\(m\in\displaystyle\bigcap_{n=1}^\infty A_n=N_{\infty}\), 则\(m\)是\(\{A_n\}\) 的公共成员，
\(\quad\)特别地, 此\(m\)是\(A_m\)的成员, 但这与\(A_m\) 的定义矛盾!
\(\quad\)故\(N_{\infty}\)必無成员，即\(\displaystyle\bigcap_{n=1}^\infty A_n=\varnothing\).

孬种蠢疯集合论白痴身分坐实

春风晚霞

        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，放你娘的臭狗屁！\(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\)是逻辑确定的客观存在的自然数。【证毕】