\(\huge^\star\;\text{qwerty, }\textbf{春霞反数学路子}\)\(\color{red}{更新}\)

elim

qwerty, 春霞反数学的路子都是赖皮狗啼痴
猿声. 无实际区别. 但春霞老痴凸出, qwerty
狂傲凸出. 二孬种没有最无耻只有更无耻.\(\underset{\;}{\;}\)
撇开qwerty 的诸多花哨胡扯, 我们来看其[数
学命题证明99%是错误的] 一贴中关于归纳推
理的有效性的否定. 我们知道无穷论域上的归
纳法原理是建立在论域的良序性假定之上的:
设\(\small\Omega\)是良序集, \(\small P(\lambda)\)是以\(\small\Omega\)的元为参量的命题.
\(\small S=\{x\in\Omega: P(x)真\}\)是\(\Omega\)的使\(P\)成立的子集.
若 \(\boxed{\small(\forall \eta<\lambda(\eta\in S))\implies\lambda\in S}\) 则\(\small S=\Omega\)即
命题\(\small P(\lambda)\)对每个\(\small\lambda\in\Omega\)成立．
若这个结论不正确, \(\small E= \{x\in\Omega: P(x) 假\}\ne\phi\).
据\(\small\Omega\)的良序性, \(\small E\) 有最小元\(\lambda\). 于是\(P(\lambda)\)假, 但
\(\small P(\eta)\)真\(\small(\forall \eta< \lambda).\) 与\(\boxed{\scriptsize(\forall \eta<\lambda(\eta\in S))\implies\lambda\in S}\)
矛盾！qwerty 从证明论的层面否定归纳法自
证其为数理逻辑白痴. 孬种春霞也不甘在愚蠢
上输给 qwerty,干脆给数学归纳法戴上循环论
证的帽子.  
qwerty 春霞的谬说千头万诸, 归根到底一句话：
生命不息吃狗屎反数学不止.