\(\Huge^\star\color{navy}{\textbf{ 蠢可达}\color{red}{死磕}\textbf{陶哲轩}}\)

elim

通过以下援引

Dr. 陶哲轩指出了无穷大\(\lim n\)不是自然数.
《陶哲轩实分析》 从皮亚诺公理导出了关
于自然数的很多运算及序性质定理. 无穷大
不是自然数 (即自然数皆有限数) 是他作为
一个起码事实的友善分享．没有作为命题
或定理列出, 也沒有留作练习题.  因为它简
单到不值得特别强调, 几乎不言而喻,  可见
死磕哲轩的 顽瞎目测 \(\lim n\in\mathbb{N}\)有多蠢.