いつもお世話になっております。よろしくお願い致します。

任意の集合aに対して無限降下列(a∋a_1∋a_2∋…)は存在しない事を示せ。

にあくせくしてます。

背理法で示そうかと思っています。

a∋φなので
a=a_1∋a_2なる集合aが存在する。
次にa=a_1∋a_2∋…∋a_n (但し,n>2)なる集合a_nが存在すると仮定すると、、、、???

でこれから一体全体どうすればいいのでしょうか?

吉田京子