22/01/24 00:09:56.09 8oU2aSM0.net
>>517 補足
・自然数N 自身は、全順序にして、整列集合でもある
・直感的な理解として、
降鎖 (an)n∈Nで，a1>a2>…>an>… を、A＝N中で作ろうとすると、始点のa1を決める必要がある
a1＝m m∈Nとすると、mは有限であるから、Nの最小値1との間では、有限の降下列しか出来ない （注：最小値0としても同じこと）
よって、N中の降鎖は有限長である
（数学の証明は、>>517の通り）
22/01/24 00:09:56.09 8oU2aSM0.net
>>517 補足
・自然数N 自身は、全順序にして、整列集合でもある
・直感的な理解として、
降鎖 (an)n∈Nで，a1>a2>…>an>… を、A＝N中で作ろうとすると、始点のa1を決める必要がある
a1＝m m∈Nとすると、mは有限であるから、Nの最小値1との間では、有限の降下列しか出来ない （注：最小値0としても同じこと）
よって、N中の降鎖は有限長である
（数学の証明は、>>517の通り）