\(\Huge^\star\textbf{ 滚驴}\color{red}{\textbf{无穷大自然数}}\textbf{泡汤}\)

elim

【定理】自然数皆有限数.
【证明】记 \(\,\alpha\,\)为最小无穷序数, 则它之前的
\(\qquad\)都是有限序数. 因\(\alpha\)不是有限序数的后
\(\qquad\)继, 故其不是任何序数的后继即\(\alpha\)不是
\(\qquad\)自然数, 但序数链\(\,\mathbb{N}\,\)不含非自然数, 故
\(\qquad\)\(\alpha\)后面无自然数. 即\(\mathbb{N}\)恰恰是\(\alpha\)的前段
\(\qquad\)可见自然数皆有限数．\(\square\)

【推论】\(\alpha=\omega\)(1st极限序数)
【注记】不存在无穷大自然数.
\(\qquad\)滚驴无穷大自然数泡汤．