\(\Huge^\star\;\color{red}{{\min}\textbf{无穷序数}}\textbf{ = 1st极限序数}\)

elim

【定理】最小无穷序数=第一个极限序数
【证明】设\(m\)是最小无穷序数\(\mu\)之前的序数,
\(\qquad\)则\( m\)有限, 其后继非无穷序数\(\mu\). 因此 \(\mu\)
\(\qquad\)是最小非后继序数, 即第一个极限序数．