\(\LARGE{\color{red}{elim一阶谓词逻辑演译值得商榷}}\)

春风晚霞

对递减集列\(\{A_n=\{m∈N:m>n\}\}\)的极限集，elim赖以证明\(\displaystyle\bigcap_{k=1}^∞ A_k=\phi\)的一阶谓词逻辑演译是\(\color{red}{不自洽的!}\).
elim认为【令\(A_n=\{m∈N:m>n\},N_∞=\displaystyle\bigcap_{n=1}^∞ A_n\).
因为没有自然数属于每个\(A_n,N_∞=\phi\)这是常人一眼就看出的简单集论事实 】
elim，【没有自然数属于每个\(A_n\)】，并不等于每个\(A_n\)中就没有其它元素嘛！elim先生不至于什么叫空集都不知道吧？是的，这个事实是【常人一眼就可以看出的的简单事实】，但你不是常人嘛！有常人举办集合论入门知识讲座的吗？正如人人都知道“狗要吃屎”是事实，但人人末必知道你在用“狗要吃屎”的事实，论证“人必须吃屎”嘛！
elim为深入论证【\(N_∞=\displaystyle\bigcap_{n=1}^∞ A_n=\phi\)】，提出了如下命题：【设 \(\Omega\) 为论域(例如 \(\mathbb{N},\mathbb{R},\mathbb{R}^n\) 等等)
【定理】\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\implies B=\varnothing.\)
【证明】\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\implies (\Omega\cap B=\varnothing)\wedge (B\subseteq\Omega)\)
\(\qquad\quad \implies B=B\cap\Omega=\varnothing.\)】
然而，elim的这个定理并不自洽，且与现行教科书不相容。定理【\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\implies B=\varnothing.\)】的结论\(B=\varnothing\)
未必成立。如\(\Omega=\mathbb{N}\)，\(\mathscr{A}=\{x|x=2n^2，n∈\mathbb{N}\}\)就满足定理的题设\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\)但\(\overline{\overline{\mathscr{A}}}=\overline{\overline{\mathbb{N}}}\)即\(\mathscr{A}≠\varnothing!\)，也许elim会辩称，既然\(\mathscr{A}\subset\mathbb{N}\)那我\(\forall x∈\mathbb{N}\)中的x取\(2n^2\)不就得了？elim先生，这可不是\(\forall 2n^2 ∈\mathbb{N}\)而是\(\exists 2n^2∈\mathbb{N}\)了， 毕竟\(x≠2x^2\)嘛！也请elim注意满足\(\forall  x\in\Omega\,(x\not\in B\nsubseteq\Omega)\)的例子就更多了. 如令\(\Omega=\mathbb{N}\)，\(\mathscr{B}=\{x|x=ni，n∈\mathbb{N}，i^2=-1\}\)也满足\(\forall x\in\Omega\,(x\not\in B\)这个条件，但\(\mathscr{B}≠\phi\)!
elim先生，数学是研究形数关系的学科.它所揭示的规律与论者种的属性（如孬种、良种、野种、杂种）和职业（卖娼、卖淫）没有任何联系！用这些龌蹉下流的语言描述数学命题更不容于现行数学规范！切记鲁迅名言，辱骂和恐吓决非战斗！

春风晚霞

elim 发表于 2024-9-8 08:56
没想到孬种还是个资深歌数理逻辑白痴啊，哈哈

对递减集列\(\{A_n=\{m∈N:m>n\}\}\)的极限集elim赖以证明\(\displaystyle\bigcap_{k=1}^∞ A_k=\phi\)的一阶谓词逻辑演译是\(\color{red}{不自洽的!}\).
elim认为【令\(A_n=\{m∈N:m>n\},N_∞=\displaystyle\bigcap_{n=1}^∞ A_n\).
因为没有自然数属于每个\(A_n,N_∞=\phi\)这是常人一眼就看出的简单集论事实 】
elim，【没有自然数属于每个\(A_n\)】，并不等于每个\(A_n\)中就没有其它元素嘛！是的，这个事实是【常人一眼就可以看出的的简单事实】，但你不是常人嘛！有常人举办集合论入门知识讲座的吗？正如人人都知道“狗要吃屎”是事实，但人人末必知道你在用“狗要吃屎”的事实，论证“人必须吃屎”嘛！
elim为深入论证【\(N_∞=\displaystyle\bigcap_{n=1}^∞ A_n=\phi\)】，提出了如下命题：【设 \(\Omega\) 为论域(例如 \(\mathbb{N},\mathbb{R},\mathbb{R}^n\) 等等)
【定理】\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\implies B=\varnothing.\)
【证明】\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\implies (\Omega\cap B=\varnothing)\wedge (B\subseteq\Omega)\)
\(\qquad\quad \implies B=B\cap\Omega=\varnothing.\)】
然而elim的这个定理并不自洽，且与现行教科书不相容。定理【\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\implies B=\varnothing.\)】的结论\(B=\varnothing\)
未必成立。如\(\Omega=\mathbb{N}\)，\(\mathscr{A}=\{x|x=2n^2，n∈\mathbb{N}\}\)就满足定理的题设\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\)但\(\overline{\overline{\mathscr{A}}}=\overline{\overline{\mathbb{N}}}\)即\(\mathscr{A}≠\varnothing!\)，也许elim会辩称，既然\(\mathscr{A}\subset\mathbb{N}\)那我\(\forall x∈\mathbb{N}\)中的x取\(2n^2\)不就得了？elim先生，这可不是\(\forall 2n^2 ∈\mathbb{N}\)而是\(\exists 2n^2∈\mathbb{N}\)了， 毕竟\(x≠2x^2\)嘛！也请elim注意满足\(\forall  x\in\Omega\,(x\not\in B\nsubseteq\Omega)\)但的例子就更多了. 如令\(\Omega=\mathbb{N}\)，\(\mathscr{B}=\{x|x=ni，n∈\mathbb{N}，i^2=-1\}\)也满足\(\forall x\in\Omega\,(x\not\in B\)这个条件，但\(\mathscr{B}≠\phi\)!
elim先生，数学是研究形数关系的学科.它所揭示的规律与论者种的属性（如孬种、良种、野种、杂种）和职业（卖娼、卖淫）没有任何联系！用这些龌蹉下流的语言描述数学命题更不容于现行数学规范！切记鲁迅名言，辱骂和恐吓决非战斗！

elim

没想到孬种还是个资深数理逻辑白痴啊，哈哈

春风晚霞

elim 发表于 2024-9-8 11:03
令\(A_n=\{m\in\mathbb{N}: m> n\},\;N_{\infty}=\displaystyle\bigcap_{n=1}^\infty A_n\).
因为没有自 ...

对递减集列\(\{A_n=\{m∈N:m>n\}\}\)的极限集elim赖以证明\(\displaystyle\bigcap_{k=1}^∞ A_k=\phi\)的一阶谓词逻辑演译是\(\color{red}{不自洽的!}\).
elim认为【令\(A_n=\{m∈N:m>n\},N_∞=\displaystyle\bigcap_{n=1}^∞ A_n\).
因为没有自然数属于每个\(A_n,N_∞=\phi\)这是常人一眼就看出的简单集论事实 】
elim，【没有自然数属于每个\(A_n\)】，并不等于每个\(A_n\)中就没有其它元素嘛！是的，这个事实是【常人一眼就可以看出的的简单事实】，但你不是常人嘛！有常人举办集合论入门知识讲座的吗？正如人人都知道“狗要吃屎”是事实，但人人末必知道你在用“狗要吃屎”的事实，论证“人必须吃屎”嘛！
elim为深入论证【\(N_∞=\displaystyle\bigcap_{n=1}^∞ A_n=\phi\)】，提出了如下命题：【设 \(\Omega\) 为论域(例如 \(\mathbb{N},\mathbb{R},\mathbb{R}^n\) 等等)
【定理】\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\implies B=\varnothing.\)
【证明】\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\implies (\Omega\cap B=\varnothing)\wedge (B\subseteq\Omega)\)
\(\qquad\quad \implies B=B\cap\Omega=\varnothing.\)】
然而elim的这个定理并不自洽，且与现行教科书不相容。定理【\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\implies B=\varnothing.\)】的结论\(B=\varnothing\)
未必成立。如\(\Omega=\mathbb{N}\)，\(\mathscr{A}=\{x|x=2n^2，n∈\mathbb{N}\}\)就满足定理的题设\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\)但\(\overline{\overline{\mathscr{A}}}=\overline{\overline{\mathbb{N}}}\)即\(\mathscr{A}≠\varnothing!\)，也许elim会辩称，既然\(\mathscr{A}\subset\mathbb{N}\)那我\(\forall x∈\mathbb{N}\)中的x取\(2n^2\)不就得了？elim先生，这可不是\(\forall 2n^2 ∈\mathbb{N}\)而是\(\exists 2n^2∈\mathbb{N}\)了， 毕竟\(x≠2x^2\)嘛！也请elim注意满足\(\forall  x\in\Omega\,(x\not\in B\nsubseteq\Omega)\)但的例子就更多了. 如令\(\Omega=\mathbb{N}\)，\(\mathscr{B}=\{x|x=ni，n∈\mathbb{N}，i^2=-1\}\)也满足\(\forall x\in\Omega\,(x\not\in B\)这个条件，但\(\mathscr{B}≠\phi\)!
elim先生，数学是研究形数关系的学科.它所揭示的规律与论者种的属性（如孬种、良种、野种、杂种）和职业（卖娼、卖淫）没有任何联系！用这些龌蹉下流的语言描述数学命题更不容于现行数学规范！切记鲁迅名言，辱骂和恐吓决非战斗！

elim

令\(A_n=\{m\in\mathbb{N}: m> n\},\;N_{\infty}=\displaystyle\bigcap_{n=1}^\infty A_n\).
因为没有自然数属于每个\(A_n\)．故\(N_{\infty}=\varnothing\).
这是常人一眼就看出的简单集论事实。
这么直接了当的事情到了孬种那里就活见鬼, 要他命了!
求\(\mathbb{N}\)子集的交扯出超限数，出演孬种犯孬孬更孬？
本想周民强应该可以帮到孬种蠢疯顽瞎，不料:
民强不知道孬种不会算集合交，蠢疯不知道其种竟然会这么孬．

不管孬种咋扑腾，它仍是个求不出集合交的蠢东西。

elim

数学与论者种的属性没有交集，这并不妨碍孬种扯数学，更不妨碍
集论白痴谈集论对吧？当下的例子：孬种不懂啥是极限集，并不妨碍
孬种目测极限集，也不妨碍顽瞎看走眼；孬种读不懂一阶逻辑演算，
又如何会妨碍它显摆痴呆呢？

春风晚霞

elim 发表于 2024-9-8 20:28
令\(A_n=\{m\in\mathbb{N}: m> n\},\;N_{\infty}=\displaystyle\bigcap_{n=1}^\infty A_n\).
因为没有自 ...

elim，\(\displaystyle\lim_{n→∞}\{n+1，n+2，……\}≠\phi\)的根据是Peano axioms或Cantor正整数的第一生成法则！elim，对于方程\(ax^2+bx+c=0(a≠0)\)，当\(b^2-4ac<0\)时，说方程\(ax^2+bx+c=0(a≠0)\)无解对吗？方程没有实数解并不等于方程没有解嘛！同理【没有自然数属于每个\(A_n\)】，并不等于每个\(A_n\)中就没有超限数自然数或超穷正整数嘛！是的，【这是常人一眼就可以看出的的简单事实】？但你不是常人呀！你可是举办集合论知识讲座的大圣人呀！正如人人都知道狗要吃屎的事实，但人人末必知道大圣人在用“狗要吃屎”的事实，论证“人必须吃屎”！所以你必须认栽周民强！

春风晚霞

elim 发表于 2024-9-10 09:10
令\(A_n=\{m\in\mathbb{N}: m> n\},\;N_{\infty}=\displaystyle\bigcap_{n=1}^\infty A_n\).
根据周民强 ...

对递减集列\(\{A_n=\{m∈N:m>n\}\}\)的极限集elim赖以证明\(\displaystyle\bigcap_{k=1}^∞ A_k=\phi\)的一阶谓词逻辑演译是\(\color{red}{不自洽的!}\).
elim认为【令\(A_n=\{m∈N:m>n\},N_∞=\displaystyle\bigcap_{n=1}^∞ A_n\).
因为没有自然数属于每个\(A_n,N_∞=\phi\)这是常人一眼就看出的简单集论事实 】
elim，【没有自然数属于每个\(A_n\)】，并不等于每个\(A_n\)中就没有其它元素嘛！是的，这个事实是【常人一眼就可以看出的的简单事实】，但你不是常人嘛！有常人举办集合论入门知识讲座的吗？正如人人都知道“狗要吃屎”是事实，但人人末必知道你在用“狗要吃屎”的事实，论证“人必须吃屎”嘛！
elim为深入论证【\(N_∞=\displaystyle\bigcap_{n=1}^∞ A_n=\phi\)】，提出了如下命题：【设 \(\Omega\) 为论域(例如 \(\mathbb{N},\mathbb{R},\mathbb{R}^n\) 等等)
【定理】\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\implies B=\varnothing.\)
【证明】\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\implies (\Omega\cap B=\varnothing)\wedge (B\subseteq\Omega)\)
\(\qquad\quad \implies B=B\cap\Omega=\varnothing.\)】
然而elim的这个定理并不自洽，且与现行教科书不相容。定理【\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\implies B=\varnothing.\)】的结论\(B=\varnothing\)
未必成立。如\(\Omega=\mathbb{N}\)，\(\mathscr{A}=\{x|x=2n^2，n∈\mathbb{N}\}\)就满足定理的题设\(\forall x\in\Omega\,(x\not\in B\subseteq\Omega)\)但\(\overline{\overline{\mathscr{A}}}=\overline{\overline{\mathbb{N}}}\)即\(\mathscr{A}≠\varnothing!\)，也许elim会辩称，既然\(\mathscr{A}\subset\mathbb{N}\)那我\(\forall x∈\mathbb{N}\)中的x取\(2n^2\)不就得了？elim先生，这可不是\(\forall 2n^2 ∈\mathbb{N}\)而是\(\exists 2n^2∈\mathbb{N}\)了， 毕竟\(x≠2x^2\)嘛！也请elim注意满足\(\forall  x\in\Omega\,(x\not\in B\nsubseteq\Omega)\)但的例子就更多了. 如令\(\Omega=\mathbb{N}\)，\(\mathscr{B}=\{x|x=ni，n∈\mathbb{N}，i^2=-1\}\)也满足\(\forall x\in\Omega\,(x\not\in B\)这个条件，但\(\mathscr{B}≠\phi\)!
elim先生，数学是研究形数关系的学科.它所揭示的规律与论者种的属性（如孬种、良种、野种、杂种）和职业（卖娼、卖淫）没有任何联系！用这些龌蹉下流的语言描述数学命题更不容于现行数学规范！切记鲁迅名言，辱骂和恐吓决非战斗！

elim

令\(A_n=\{m\in\mathbb{N}: m> n\},\;N_{\infty}=\displaystyle\bigcap_{n=1}^\infty A_n\).
根据周民强介绍的那点集论得
\(N_{\infty}=\small\displaystyle\big(\lim_{n\to\infty}A_n^c\big)^c=\big(\lim_{n\to\infty}\{m\in\mathbb{N}: m\le n\}\big)^c=\mathbb{N}^c=\varnothing\).
故孬种的\(N_{\infty}\ne\phi\)谬论都是妄图推翻周民强集论的诡辩
孬种的海量烂贴千头万绪, 归根结底是人太蠢, 种太孬,

不管孬种咋扑腾，它仍是个自捣自蛋反数学的蠢东西。

春风晚霞

elim 发表于 2024-9-10 16:25
令\(A_n=\{m\in\mathbb{N}: m> n\},\;N_{\infty}=\displaystyle\bigcap_{n=1}^\infty A_n\).
根据周民强 ...

elim，我不管你是什么种，你的【逐点排除法】既不是交集的定义，也不是求交运算的运算规律！你污称用单调集列极限集定义求所给单调集列的极限集是“目测法”，自夸你的【逐点排除法】是“精确计算”，你“精确”在什么地方？以你的\(A_n=\{m∈N:m>n\}\)为例，你的所谓【逐点排除法】不仅排除了\(\forall m\)同时也排除了\(\forall m,j ∈\mathbb{N},m+j\)如:对于\(A_k=\{k+1，k+2，…\}\)就因你一个“由k的任意性知”把大于k的数(包括超限数)都被你的所谓【逐点排除】掉，这就是你攻击他人时所谓的“狗屎堆逻辑”！你说我所用的方法是“目测法”，我还能指出这样“目测”缘于现行教科书何章何节甚至何页何行，你的“逐点排除法”除了自称自卖外，你能指出它出自哪本教材，哪篇，哪章哪节吗？我论数学，只认数理从不管你是孬种、野种还是杂种，也不管你的职业是卖娼还是卖淫？数学论辩愿赌服输。你以为
你【个人资质德行】很好？你以为你【个人资质品质对数学的认知】就能称霸论坛？拉倒吧，你还要脸不！至于
【海量烂贴】，你为什么不自省一下，你用多少个主题指名道姓的向我发动进攻，最近好像你有删帖的迹象，不过你的主题并未删除，我的海量“烂帖”都留有这篇”烂帖“是回复你哪篇大作的信息！我但凡涉及\(N_∞≠\phi\)的论述，都是根据交集的定义，都是根据外延公理展开论述的，我的任何一个论点，论据和论证都能在现行数学中找到依据。倒是自许“精通集合论”野种，你有几篇帖子是在现行数学框架下展开论述的？你以为只有你知道外延公理？周民强、夏道行、陈景良、曹广福、方嘉琳……这些数学大师都不知道外延公理？你说你的【逐点排除法】或“臭便”【方法其实在周民强的【实函】一章前5页已有充分交待】？这个【充分交待】原话在哪页哪行？周民强又在哪页哪行认同了你的“臭便”之法？elim野种，什么叫空集？你凭什么说\(\displaystyle\lim_{n→∞}\{n+1,n+2，…\}\)是空集？我【承认没有自然数属于每个\(A_n\)】就得承认\(N_∞=\phi\)？难道集合\(\{ω+1，ω+2，ω+3，……\}\)也是空集？elim认为【这个事实下以这不等于\(A_n\)不含超限数为由否认\(N_∞=\phi\)】，是呀，在你的所有论述中都认为\(\displaystyle\lim_{n→∞}\{n+1，n+2，…，\}=\phi\)？elim的【其实如果超限数m∈\(A_n\),那么m还是自然数，于是仍然不属于每个\(A_n\)】简直是胡说八道。根据现行教科书关于极限集的定义：〖集列\(\{A_k\}\)的上、下限相等，则称集列\(\{A_k\}\)的极限集存在并等于上限集或下限集，记为\(\displaystyle\lim_{k→∞} A_k\).特別地当集列\(\{A_k\}\)单调时，\(\{A_k\}\)的极限集为\(\displaystyle\lim_{k→∞} A_k=\displaystyle\bigcap_{k =1}^∞ A_k\)(\(\{A_k\}\)单减)，或\(\displaystyle\lim_{k→∞} A_k=\displaystyle\bigcup_{k =1}^∞ A_k\)(\(\{A_k\}\)单增)〗『参見（北大）周民强《实变函数论》P10 3~4行；（复旦大学）夏道行等《实变函数与泛函分析》上册P8 13~16行；（清华大学）陈景良《近代分析概要》P42 定义4.8；（川大）曹广福《实变函数论与泛函分析》P6定义1；（国防科大）那汤松《实变函数论习题解答》P8第10行；（吉林师大）方嘉琳《集合论》P6定义』你自己所给集列\(\{A_n=\{m∈N:m>n\}\}\)的极限集就是\(\displaystyle\lim_{n→∞} A_n=\)\(\displaystyle\lim_{n→∞}\{n+1，n+2，…，\}=\)\(\{ω+1，ω+2，…\}≠\phi\)；集合)\(\{ω+1，ω+2，…\}\)中的每个成员都属于每个\(A_n\)，因而都属于\(N_∞\)！elim野种，是谁【在无理死怼周民强】？是谁【还给【实函】第一章前5页那点集论一顶臭变的帽子】？周民强《实变函数论》第一章前5页什么地方认同了你的“臭便”思想？什么地方又认可了你的【逐点排查】法？elim野种，你那个【最本源的求交集的逐点排查法】是交集的定义还是求交运算的运算规律？其实现行的教科书根本就没有承认你那个【最本源的求交集的逐点排查法】。现行教科书认可的是被你污蔑为【目测法】(即对集列定义式求极限方法)。elim野种，老夫何时向你认栽？老夫论数只认数理，从来不管你是野种还是杂种？更不管你的职业是卖娼还是卖淫？\(N_∞=\{ω+1，ω+2，…，ω+\nu\}\)就是非空，式中的每个超限数就是你死磕的具体成员！我说\(N_∞≠\phi\)【是Peano后继公理及康托超限整数生成】都给出了具体论证，只是你夜郎自大，连看都不看我的帖子，只知闭目狂吠！【连极限集是啥都不知道】的恰恰是目空一切，只知【逐点排查】的野种！