First Order System of Vector Logic and Its Soundness Theorem

• 向量值一阶逻辑及其可靠性定理