21/11/02 07:50:33.14 W8uEDlcI.net
>>816
>１．「列の始まりとなるa_1は、ある自然数ｎだから a_1＝ｎ」
>が正当化できれば
降鎖の定義から明らかだけどな
>２．数学的帰納法は不要。「最小値原理」は「数学的帰納法の原理」と同等だから
それは「数学的帰納法」のかわりに「最小値原理」を公理にするという意味か？
「最小値原理」が公理でないなら「数学的帰納法」で証明する必要があるのは
理解してる？
>上記1を証明するのが、>>654の証明であり
違うけど
１．は降鎖の定義から明らか
２．の「最小値原理」を証明するのが、>>654の証明
>上記1に証明が要らないなら、
>>>654の証明って何？
>大袈裟に、選択公理使う証明って
選択公理から、整列定理が導かれるのは承知してる？
>4．言い換えれば、a_1＝ｎが許されるならば、
> a_1＝ｎ+1もあり、a_1＝ｎ+2もあり・・、となるよ
> これ、どうすんの？ってことよ
どうもせんけど 何が困るの？