Maths›03. Logic and Foundations1.5 Soundness and CompletenessSoundness, completeness, and the relationship between semantic validity and formal provability.