In mathematical logic, the term soundness has another technical meaning; if a theorem holding in some symbolic formal system imples that the theorem holds in some model, then the system is said to be sound. The reverse condition (holding in a model implies holding in a formal system) is called completeness?. |