19/03/02 20:40:16.90 gxsT2klN.net
>>760
整列可能定理は、超限帰納法ではないよ
非可算な順序数の存在は、選択公理なしに言える
整列可能定理は、いかなる集合もそれぞれある順序数と同濃度になるといってるだけ
整列可能定理が偽になる場合というのは、整列不能な集合があるというだけのこと
実数が整列不能だとしても、超限帰納法自体を否定するものではない
19/03/02 20:40:16.90 gxsT2klN.net
>>760
整列可能定理は、超限帰納法ではないよ
非可算な順序数の存在は、選択公理なしに言える
整列可能定理は、いかなる集合もそれぞれある順序数と同濃度になるといってるだけ
整列可能定理が偽になる場合というのは、整列不能な集合があるというだけのこと
実数が整列不能だとしても、超限帰納法自体を否定するものではない