soundness

#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

1. https://en.wikipedia.org/wiki/Soundness

Notes §