21/07/03 15:03:58.83 UwME3gY3.net
>>378
>最小値 min xの存在する列は、たとえ無限列であっても、
>整礎関係 正則性の公理の下での無限降下列ではない
>この最小値 min xの存在する無限列を、”無限上昇列”と呼べば、
>全てが現代の高等数学と整合します！
上記が>>379の問いの答えなら、誤りです
私ならこう答えます
「”∈無限下降列 ω∋…∋1∋0”には
x1 > x2 > ･･･ > xn > xn+1 > …
の ”x2” が存在しない
したがって偽の無限降下列である」