21/11/02 00:15:55.87 ZFNf+G/G.net
>>805
>なぜなら、Aが無限集合なら、
>そもそも最大元がないから
>始まりとなるa_1が存在しない
そうだよ
その通りだよ
分かってきたじゃん、お主ｗ
でも、それだけで済むなら、証明は3行だよね？（下記）
＜証明もどき＞
列の始まりとなるa_1は、ある自然数ｎだから a_1＝ｎで、
最小元は0又はそれ以上
自然数は、＞に対し全順序だから、列の長さはｎ+1以下で有限に過ぎない
QED
おわかりか？
数学的帰納法も何も不要でしょ？
やっぱ、極小条件使って、有限長を、すっきりと示すべきじゃね？