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