ベクトル空間{0}の次元が0であることはどうやって論理的に証明しますか?