08/08/26 23:15:36
>>424
自明も何もArchimedes性とほぼ同値じゃん。
公理の一種みたいなもんなんだから自明だろ。
なんつうか、Zornの補題と選択公理との同値性とか
そういうのと同じなんじゃないですかね。
こっちは数学者でも、示せと言われて10分で示せる人ばかりじゃないような気がするけど。
08/08/26 23:15:36
>>424
自明も何もArchimedes性とほぼ同値じゃん。
公理の一種みたいなもんなんだから自明だろ。
なんつうか、Zornの補題と選択公理との同値性とか
そういうのと同じなんじゃないですかね。
こっちは数学者でも、示せと言われて10分で示せる人ばかりじゃないような気がするけど。