滚驴搅局07\(\Huge\color{green}{\mathbb{N}\textbf{没有无穷元}}\)

春风晚霞

命题：皮亚诺公理对\(\displaystyle\lim_{n \to \infty}n\)依然成立。
        证明：因为在现行数学理论中只有形如\(j\cdot\omega\)\((j\in\mathbb{N})\)这样的数没有直接前趋(即极限序数)，所以\(\displaystyle\lim_{n \to \infty}n\)不是\(\omega\)的直接前趋，故此\(\displaystyle\lim_{n \to \infty}n+1\ne\omega\),又因\(\omega\)的后继是\(\omega+1\)，所以\(\displaystyle\lim_{n \to \infty} n+1\)\(\ne\omega+1\)，所以\(\displaystyle\lim_{n \to \infty} n+1<\omega\)(实数三分律原理），所以\(\displaystyle\lim_{n \to \infty}n+1\in\mathbb{N}\).所以皮亚诺公理对自然数\(\displaystyle\lim_{n \to \infty}n\)成立.【证毕】。
        【推论】
①、\(\displaystyle\lim_{n \to \infty} n+j\in\mathbb{N}\)
②、\(\displaystyle\lim_{n \to \infty}2n\in\mathbb{N}\)
③、\(\displaystyle\lim_{n \to \infty}2^n\in\mathbb{N}\)
④、\(\displaystyle\lim_{n \to \infty}10^n\in\mathbb{N}\)
……