Soundness Theorem

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A metatheorem that guarantees every formula provable in a given formal deductive system is also semantically valid in the intended class of models; syntactic derivability implies model-theoretic truth.