Soundness and completeness link proofs with validity

Soundness refers to whether all inferences proved by a proof system are actually valid. Completeness refers to whether all valid inferences are provable through a proof system.

Backlinks