The two systems are both sound and complete in this semantics.

• 这两个系统相对于这种语义学有可靠性和完全性。