>>789
>>「0は自然数全体の最小元であり、
>>　任意の部分集合においても、最小元であるから極小条件を満たす。
>>　よって、無限降下列は0を含んでは成らない」と書くべきだし
>そう書いたらダメでしょ　完全な誤りだからｗ
>「0は任意の部分集合においても、最小元」が誤り
>いっとくけど、空集合も部分集合、とかいうつまらん理由じゃないよ
> 0を含まない部分集合では、0は当該集合の最小元じゃないでしょ

ああ、ありがと
じゃ、補正します

「0は自然数全体の最小元であり、
　任意の部分集合においても、最小元であるから極小条件を満たす。
　よって、無限降下列は0を含んでは成らない」と書くべきだし
　↓
「0は自然数全体の最小元であり、
　問題の任意の部分集合においても、もし0を含めば、0が最小元であるから極小条件を満たす。
　よって、問題の無限降下列は0を含んでは成らない」と書くべきだし

”もし0を含めば”を追加しましたよ
それで良いよね