>>43 >各ベクトル空間について基底を一つ決めたら
これって可能なの?選択公理よりかなり強い公理が必要だと思うが。