|

楼主 |
发表于 2024-5-26 06:31
|
显示全部楼层
金瑞生倒是想帮老痴说话,也无话可说了。老痴就是老痴:337楼的后两个式子都与变量 n 无关,
至于第一个式子. 我们有
易见集合 \(N_k:=\{k+1,k+2,\ldots\}\)构成递降集列, 故有
\((1)\;\;N_{\infty}=\displaystyle\lim_{n\to\infty}\{n+1,n+2,\ldots\}\subset N_k\;(\forall k\in\mathbb{N})\) 而
\((2)\;\;A\subset B\iff A=A\cap B\) 是集论的初等结果,可见
\((3)\;\;k\not\in N_k\cap N_{\infty}=N_{\infty}\;(\forall k\in\mathbb{N})\) 据集论外延公理得
\((4)\;\;N_{\infty}=\varnothing.\)
老痴的 \(N_1,N_2,\ldots, N_k,\ldots\) 均无穷集,所以\(\displaystyle N_{\infty}=\lim_{n\to\infty}N_n\) 亦无穷的逻辑,
令人想起范副的 \(0.9,0,99,0.999,\ldots\) 均小于\(1\)所以\(0.\dot{9} < 1\) 的狗屎堆归纳法.
范副和蠢正貌似针锋相对,其实愚蠢,无耻相当。连归纳法都掉链子。
老痴的'论证'其实是 \(\displaystyle|\lim_{n\to\infty}N_n|=\lim_{n\to\infty}|N_n|\)
即取基数与取极限可换序. 这是ZFC白痴的痴心妄想而已. |
|