수학과 논리/선형대수학과 벡터 0