11/12/05 18:30:24.42
自然数と実数に1対1対応できないと言う証明、
>>620 証明を見直してもらうといいが、
選択公理なしに具体的な関数がつくれればいいわけ。
自然数の対角線論法なら選択関数はいらない。
ついでに、
集合とそのべき集合の濃度がちがうことは選択公理なしに証明できる。
（カントールベルンシュタインの定理）
基数にしてもきちんと公理的集合論の教科書のほうがやさしく書いてあるのに。
11/12/05 18:30:24.42
自然数と実数に1対1対応できないと言う証明、
>>620 証明を見直してもらうといいが、
選択公理なしに具体的な関数がつくれればいいわけ。
自然数の対角線論法なら選択関数はいらない。
ついでに、
集合とそのべき集合の濃度がちがうことは選択公理なしに証明できる。
（カントールベルンシュタインの定理）
基数にしてもきちんと公理的集合論の教科書のほうがやさしく書いてあるのに。