22/01/03 16:05:17.22 fVRIjb9K.net
>>657
>そんな考えなら、どうやれば、実数R全体が二項関係>に関して全順序になるって示せるんだ？
>（整列可能定理も知らないのかもな）
Rは通常の大小関係>で整列集合ではありません。
実際、{x∈R|x>0}は>に関する最小元を持ちません。
整列可能定理で>無限列を正当化することはできません。
あなたは全順序も整列可能定理も分かってません。
22/01/03 16:05:17.22 fVRIjb9K.net
>>657
>そんな考えなら、どうやれば、実数R全体が二項関係>に関して全順序になるって示せるんだ？
>（整列可能定理も知らないのかもな）
Rは通常の大小関係>で整列集合ではありません。
実際、{x∈R|x>0}は>に関する最小元を持ちません。
整列可能定理で>無限列を正当化することはできません。
あなたは全順序も整列可能定理も分かってません。