|
|

楼主 |
发表于 2025-11-12 09:42
|
显示全部楼层
无论春痴咋驴滚, 主贴指出顽瞎目测根本不自洽: \(\Large\underset{\;}{\;}\)
设 \(\lim n=m\in\mathbb{N},\) 则对 \(n>M=m+1\) 令
\(n\to\infty\) 得 \(m+1={\small M\le}\lim n=m\) 反 PA. 故
\(m+1\le m\implies m\not\in\mathbb{N}\implies \lim n\not\in\mathbb{N}.\;\;_\blacksquare\)
(PA是 Peano Arithmetic 即皮亚诺算术的缩写)\(\Large\underset{\;}{\;}\)
顽瞎目测蕴含顽瞎目测的否定. 乃嗜屎之报应也.\(\underset{\;}{\;}\)
\(\huge\textbf{ 滚驴白痴真身被验明},\)
\(\huge\color{red}{\textbf{ 孬贼船漏不打一处来.}}\)
|
|