|

楼主 |
发表于 2025-8-19 02:46
|
显示全部楼层
【定理】最小无穷序数\(\small\,=\,\)第一个极限序数\(\,\omega\)
【证明】最小无穷序数\(\,\mu\,\)之前的序数皆有限
\(\qquad\)序数故其后继皆非无穷序数\(\mu\). 因此 \(\mu\)
\(\qquad\)是最小非后继序数, 即第一个极限序数.
【推论】自然数皆有限数.
【证明】非零自然数皆有前趋因而小于任一
\(\qquad\) 极限序数.据本定理, 自然数小于最小
\(\qquad\)无穷序数故而皆有限数.
|
|