A formal system is sound if and only if every formula that can be proved in the system is valid with respect to the semantics of the system.