15/03/14 10:32:50.92 1ktc1FSG.net
>>529 補足
対角線論法をいろいろ調べたのは、べき集合の濃度やハメル基とかの関係
ハメル基って使えるの？ ハメル基って集合の濃度が示せるのか？ という素朴な疑問からだった
対角線論法が、いまこんなに広がりを持っているとは知らなかった・・
が、結論から言えば、べき集合の濃度、つまりは実数の連続濃度の証明は、対角線論法を使う以外にはないみたいってこと
「ハメル基の持つ性質を使って濃度が非加算無限を導くのではなく、Hの構成法から、Rを全て表すためにはHの濃度が非加算無限でなければならないという論理だろう 」>>474の裏付け
これで、べき集合の濃度の考え方がクリアーになったよ