\(\LARGE{\color{red}{elim的【逐点排查】是反数学的铁证}}\)

春风晚霞

elim所给命题：【\(已知ω+j\notin N_∞（j=1，2，…)\)，即\(\{ω+j，j∈N\}\)\(\cap N_∞=\phi\)】，elim对这个命题给出了如下“证明”：【若\(N_∞=\displaystyle\lim_{n→∞}\{n+1，n+2，…\}=\{ω+1，ω+2，…\}\)，则\(N_∞\cap N_∞=N_∞(\displaystyle\bigcup_{j=1}^∞\{ω+j\})=\)\(\displaystyle\bigcup_{j=1^∞}\phi=\phi\)】，\(\color{red}{为证明elim这个命题是错误的}\)，我们先证明\(N_∞=\displaystyle\lim_{n→∞}\{n+1，n+2，…\}=\{ω+1，ω+2，…\}\)。
〖证明:〗由elim所给的单减集列\(\{A_n=\{m∈N:m>n\}\}\)，易知\(A_k=\{k+1，k+2，…，\}\)，\(\displaystyle\bigcap_{n=1}^∞ A_n=\)\(\displaystyle\bigcap_{n=2}^∞ A_n=\)\(\displaystyle\bigcap_{n=3}^∞ A_n=\)…\(=\displaystyle\bigcap_{n=k}^∞ A_n=\)…\(=\displaystyle\bigcap_{n=∞-1}^∞ A_n=\)\(\{∞+1，∞+2，…\}\)
\(=\{ω+1，ω+2，…\}\)(\(依据是求交运算的吸收律，即若A\subset B，则A=A\cap B)\)【证毕】
根据\(N_∞=\displaystyle\lim_{n→∞}\{n+1，n+2，…\}=\{ω+1，ω+2，…\}\)，于是有\(N_∞=N_∞\cap N_∞=N_∞\cap (\displaystyle\bigcup_{j=1}^∞\{ω+j\})≠\phi\)！\(\color{red}{elim错误的起因}\)就在于他那个尚未得到公众数学认可的【逐点排查】法！在elim看来，因为\(\forall m∈\mathbb{N}，m\notin A_m\)，由m的任意性知\(\forall n∈\mathbb{N}\)，当m≤n时都有\(m\notin \displaystyle\bigcap_{n=1}^∞ A_n\)，应该看到elim的【逐点排查】是一个挂一漏万的骗人把戏！因为对\(\forall m∈\mathbb{N}.都有m+j∈ A_m\)，如\(A_{10}=\{11，12，…\}\);\(A_k=\{k+1，k+2，…\}\)，…，;\(A_∞=\{∞+1，∞+2，…\}\)等等。所以elim的【逐点排查】挂一漏万的骗人把戏！
elim在【逐点排查】基础上举办的科普讲座都害人不浅反数学的东西！事实上elim根本就不知道什么是无穷交？什么是极限集？什么是集合论的外延公理？这也是elim不敢用现行的数学理论证明\(N_∞=\phi\)的根本原因！

elim

\(\displaystyle\bigcap_{n=1}^\infty A_n = \bigcap_{n=k}^\infty A_n\;(k\in\mathbb{N})\) 可用数归纳法证明是正确的。
但\(\displaystyle\bigcap_{n=\infty-1}^\infty A_n\) 是什么东西？\(\infty-1\)是\(\mathbb{N}\)的成员吗？如果是，
那么据后继公理，\(\infty\) 就是\(\mathbb{N}\) 的最大元，但\(\mathbb{N}\) 没有最大元，
所以\(\infty-1\)也不是\(\mathbb{N}\)的元，\(A_{\infty-1}\) 无定义。

无论把 \(\infty\) 定义为第一个极限序数还是第一个超穷正整数，\(\infty\) 都不属于\(\mathbb{N}\),
但\(N_\infty\)是\(\mathbb{N}\)的子集，所以 \(N_\infty\cap\{\infty+1,\infty+2,\ldots\}=\phi\),
即 \(N_\infty,\;\{\infty+1,\infty+2,\ldots\}\) 没有公共元.

对 \(A_n=\{m\in\mathbb{N}:m>n\}\;(n\in\mathbb{N})\),
\(\color{green}{N_\infty =\displaystyle(\lim_{n\to\infty} A_n^c)^c=(\lim_{n\to\infty}\{m\in\mathbb{N}:m< n\})^c=\mathbb{N}^c=\phi}\)
是周民强介绍的集论蕴涵的简单事实,不是孬种蠢疯顽瞎推翻得了的。