21/10/31 23:32:30.11 OPOZLzHw.net
>>789
>>「0は自然数全体の最小元であり、
>> 任意の部分集合においても、最小元であるから極小条件を満たす。
>> よって、無限降下列は0を含んでは成らない」と書くべきだし
>そう書いたらダメでしょ 完全な誤りだからw
>「0は任意の部分集合においても、最小元」が誤り
>いっとくけど、空集合も部分集合、とかいうつまらん理由じゃないよ
> 0を含まない部分集合では、0は当該集合の最小元じゃないでしょ
ああ、ありがと
じゃ、補正します
「0は自然数全体の最小元であり、
任意の部分集合においても、最小元であるから極小条件を満たす。
よって、無限降下列は0を含んでは成らない」と書くべきだし
↓
「0は自然数全体の最小元であり、
問題の任意の部分集合においても、もし0を含めば、0が最小元であるから極小条件を満たす。
よって、問題の無限降下列は0を含んでは成らない」と書くべきだし
”もし0を含めば”を追加しましたよ
それで良いよね