|

楼主 |
发表于 2025-9-9 13:01
|
显示全部楼层
不论滚驴数痞咋样扯, 动摇不了由皮亚诺, 康托
理论及冯, 诺依曼(纽曼)构造导出的主贴及证明
\(\;_{\;}\)
【命题】自然数都是有限数.
【证明】按冯·诺依曼构造, 自然数集合\(\omega=\mathbb{N}\)是
\(\qquad\)最小极限序数. 另一方面, 记 \(\alpha\) 为最小的无
\(\qquad\)穷序数, 则 α 不是后继序数, 否则其前驱已
\(\qquad\)是无穷序数, 与\(\alpha\)为最小无穷矛盾. 因此 \(\alpha\)
\(\qquad\)也是极限序数, \(\omega\le \alpha\). 故对任意自然数 \(n\)
\(\qquad\)有 \(n< (\omega\le)\alpha\) 即\(n\)是有限数. ■
|
|