#concept a formal system is sound >> if and only if every statement that can be proven in the system is logically valid with respect to the rules of the formal system. References § https://en.wikipedia.org/wiki/Soundness Notes §