\(\Huge\color{red}{大家快看支撑e氏数学的集合是空集！ }\)

春风晚霞

        elim频发宿帖称【\(\forall m\in\mathbb{N}，\)\(m\notin\)\((\displaystyle\bigcap_{n<m}A_m)\)\(\bigcap A_m\)\((\displaystyle\bigcap_{n>m}A_n)=\)\(\displaystyle\lim_{n\in\mathbb{N}}A_n\)，所以\(\mathbb{N}_{\infty}=\phi\)】
       不难看岀elim的\(\forall m\in\mathbb{N}\)其实就是\(\exists m\in\mathbb{N}\).因对于\(\forall m\)，根据数的三歧性(也叫三分律)，除\(m≤n\notin A_n\)外，还有大量的\(m>n\in A_n\).由于\(m<n\notin A_n，而\in A_n^c\)，所以\(\forall m\in\mathbb{N}\)\(m\notin\)\((\displaystyle\bigcap_{n<m}A_m)\)\(\bigcap A_m\)\((\displaystyle\bigcap A_n)\)的实质就是\(\forall m\in\mathbb{N}，\)\((\displaystyle\bigcap A_m^c\)\(\displaystyle\bigcap A_m)=\phi\)，由于对\(\forall m和集合T都有\phi\bigcap T=\phi\)，从而elim“证得”了\(\mathbb{N}_{\infty}=\phi\).
        类此，我们根据elim的【底层逻辑】亦可证得\(\mathbb{N}=\phi\)，现证明如下：
        证明：根据elim所定义的单调集列，因为对任意集合T都有\((\displaystyle\bigcap_{n<m}A_m)\)\(\bigcap A_m\)\(\bigcap T=\)\(\phi\bigcap T=\phi\)，所以根据eilm的【底层逻辑】，当\(T=\mathbb{N}\)亦有\(\mathbb{N}=\phi\)【证毕】
        应该说这个“证明”是无效的，毕竟\(\mathbb{N}\ne\phi\)嘛，然而这个“证明”在e氏数学中又是【讲论证、讲自洽】的。所以恭喜elim了，原来支撑你数学理论的集合居然是\(\mathbb{N}=\phi\)！

春风晚霞

       【定理】： 若集列\(\{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-2)，(k-1)，k\}\)单调递增。所以根据单调集列极限集的定义（如北大教材《实变函数论》P9定义1.8）有：
\(\displaystyle\lim_{n \to \infty}A_n=\)\(\displaystyle\bigcup_{n=1} ^{\infty}A_n=\)\(\{1，2，…\)\(\displaystyle\lim_{n \to \infty}(n-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}\)！
【证毕】

APB先生

      春风晚霞老师说得很对：支撑e氏数学的集合是空集！
      其实三蛋 elim 外强中干，其所谓的\(\left[ 0{,}1\right]\)不可数的几个证明都是错误的，反数学的，反常识的；其不可数\(\left[ 0{,}1\right]=\varnothing\)，不可数的任意小数\(0.\to\)都是不存在的。

春风晚霞

         elim为了反对〖只要极限存在，就一定可达〗提出了\(\displaystyle\lim_{n \to \infty}n\)\(\notin\mathbb{N}\)，并在此基础上“证明”\(\displaystyle\lim_{n \to \infty}n=\)\(Sup\mathbb{N}\)、\(\displaystyle\lim_{n \to \infty}n=\)\(\Max\mathbb{N}\)等“定理”，从而为其臭名昭著的【无穷交就是一种骤变】张目，为揭露elim反数学的丑恶嘴脸，我们先证明如下定理：
        〖定题:〗皮亚诺公理对自然数\(\displaystyle\lim_{n \to \infty}n\)依然成立。
        〖证明:〗因为\(\nu(=\displaystyle\lim_{n \to \infty}n)\in\mathbb{N}\)(康托尔《超穷数理论基础》P42页、P75页：有穷基数的无穷序列1，2，…，\(\nu(=\displaystyle\lim_{n \to \infty}n)\)，\(\omega\)，…)，又因\(\omega\)是极限序数（即\(\omega\)没有直接前趋，所以\(\nu+1\ne\omega\),又由于\(\omega\)的后继是\(\omega+1\)，所以\(\nu+1<\)\(\omega\)(非负整数的三歧性) .因此\((\nu+1)\in\mathbb{N}\)(皮亚诺公理第二条对\(\nu(=\displaystyle\lim_{n \to \infty}n)\)成立.即\(\nu(=\displaystyle\lim_{n \to \infty}n)\)\(\color{red}{不是}\)\(\mathbb{N}\)的最大元！〖证毕〗

春风晚霞

春风晚霞采用这种方法也实属无奈。对于elim这样的流氓，你若不回，他认为你怯场，你若坚持以宿贴对宿帖，他又认为你霸屏。春风晚霞坚持置顶《只要极限存在，就一定可达》以及少量回复，足以提供众网友对“春氏可达”的认识之需，足以表达欢迎众网友对该议题评判的诚意。不再回复elim流氓之帖，应为明智之举！

春风晚霞

一、皮亚公理
1、0是自然数：自然数集合的起始元素。
2、后继函数存在性：每个自然数a都有唯一后继数a'（即a+1），且a'也是自然数。
3、0非任何数的后继：0不是任何自然数的后继，避免循环（如0→1→0）。
4、后继唯一性：不同自然数的后继不同，即若a'=b'，则a=b。
5、归纳公理：若子集S包含0，且当n∈S时n'∈S，则S包含全体自然数（数学归纳法的理论基础）。
二、命题：若\(\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)，则\(\mathbb{N}=\phi\)是真命题
1、陶哲轩认为〖每个自照数都是有限数(这个限是每个自然数都小于它的后继)，自然数可趋向于无穷，但不等于无穷〗，所以陶哲轩每认为\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\).注意无论是谁的《分析数学》，∞均是指集合\(N_∞=\{n|n>[\tfrac{1}{ε}]+1\}\).所以陶哲轩亦认为\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\).
2、现行教科书《实变函数论》认为\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\).
3、皮亚诺公理第2条支持\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)（参见陶哲轩自然数集是无限集的证明）.
4、根据皮亚诺公理2、3、4条可证明命题：若\(\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)，则\(\mathbb{N}=\phi\)是真命题.
elim之所以证明不了命题：若\(\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)，则\(\mathbb{N}=\phi\)是因为你根本就不知道什么是无穷，什么是趋向于无穷？根本就不知道e氏\(\mathbb{N}_∞\)只是你定义出来反现行数学的道具。