>>886　>>887
>証明の前半部分は
>「まず、集合Aについて、a_n∈Aとなる無限長の降鎖(a_n)n∈Nがあったら、
>　集合{a_n}n∈Nは最小元を持たないから、Aは整列集合でない」
>なので、
>P:降鎖条件を満たすこと→Q:整礎であること、
>つまり任意の空でない部分集合が極小元をもつこと
>を、背理法で、Pの否定＝無限長の降鎖と、整礎が矛盾するということ
>の証明だよね

向きが逆じゃんｗ
あんた、対偶が全然わかってないねえ（呆）

示してるのは以下
　¬P:無限長の降鎖が存在する→¬Q:整礎でない
だから、証明されたのは以下
　Q:整礎である→P:降鎖条件を満たす

>だから、後半部分が、
>Q:整礎であること→P:降鎖条件を満たすこと(降鎖列の長さ有限)
>の証明で、ここも背理法だ。
>つまり、Qの否定＝空でない部分集合Mで最小元を持たないものが存在すると
>無限長の降鎖が作れて、
>P:降鎖条件を満たすこと(降鎖列の長さ有限)との矛盾を言っている
>無限長の降鎖を作る部分に”選択公理により、MからMへの写像φで云々”と、
>選択公理を使っているよ

だから、向きが逆じゃんｗ
あんた、ほんと対偶が全然わかってないねえ（呆）

示してるのは以下
　¬Q:整礎でない→¬P:無限長の降鎖が存在する
だから、証明されたのは以下
　P:降鎖条件を満たす→Q:整礎である