>>42
>αがR\Aの元であるとしただけだから、αは具体的に実数を定義していない

どういうことですか?

>>43
>可算集合で実数のモデルになるやつって具体的にどんなのなのかな

どういうことですか?