>>670
>それって証明かい？
ええ

いかなる順序数の降下列も有限列である、というのは
順序数に関する超現帰納法で証明されますが、その際
「極限順序数λについて　
　α＜λとなる任意のαの降下列が有限列なら
　λの降下列も有限である」
を証明する必要があります

上記の証明は根本的に
「λのいかなる降下列も、必ずλ未満のある順序数αに降下する」
によるものですから

＃今この瞬間　SET Aの首斬ったな