- 197 名前：１３２人目の素数さん [2016/06/21(火) 22:51:41.60 ID:naxblvIr.net]
- >>186
その証明は、よく分かりません。
こんな証明が求められているような気がします：
W を任意の無限整列集合とする。
a' を N の任意の元とする。N<a'> = {x ∈ N | x < a'} は有限集合であるから
W から N<a'> への全単射は存在しない。よって、 W と N<a'> は順序同型ではない。
比較定理から W と N が順序同型であるか、または、 W<a> と N が順序同型である。
