19/03/04 17:25:45.01 /anzXWjb.net
>>835
お前が数学科出てないことは、スレ主の馬鹿発言に全面賛同した時点で確定
整列可能定理は「いかなる集合にも整列順序がつけられる」という命題
整列集合の存在自体を保証する命題ではない
整列集合は順序数によって構築される
順序数の定義から超限帰納法が導かれるのであって
超限帰納法の成立に選択公理は必要ない
こんな常識も知らんとか白痴かよｗｗｗ
19/03/04 17:25:45.01 /anzXWjb.net
>>835
お前が数学科出てないことは、スレ主の馬鹿発言に全面賛同した時点で確定
整列可能定理は「いかなる集合にも整列順序がつけられる」という命題
整列集合の存在自体を保証する命題ではない
整列集合は順序数によって構築される
順序数の定義から超限帰納法が導かれるのであって
超限帰納法の成立に選択公理は必要ない
こんな常識も知らんとか白痴かよｗｗｗ