In logic, soundness can refer to either a property of arguments or a property of formal deductive systems.

An argument is sound if (and only if) it is both valid in form and has no false premises.

A formal system is sound if (and only if) every well-formed formula that can be proven in the