必要はないが、直交しない公理を使って体系を作る意味もない