# Soundness | | In logic and deductive reasoning, an argument is sound if it is both valid in form and its premises are true. **Soundness** has a related meaning in mathematical logic, wherein a formal system of logic is sound if and only if every well-formed formula that can be proven in the system is logically valid with respect to the logical semantics of the system. | |-|-| | | wikipedia:: [Soundness](https://en.wikipedia.org/wiki/Soundness) |