| ENCYCLOPEDIA 4U .com |
Encyclopedia Home Page |
|
|
Soundness theoremThe soundness theorem is a theorem in mathematical logic stating for a given system of interference rules and system of axioms satisfying certain conditions, any first-order formula that is provable is universally valid.The converse of the soundness theorem (stating that valid expressions are theorems) is known as Gödel's completeness theorem. This article is a stub. You can help Wikipedia by fixing it. 
|
Content on this web site is provided for informational purposes only. We accept no responsibility for any loss, injury or inconvenience sustained by any person resulting from information published on this site. We encourage you to verify any critical information with the relevant authorities.
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Soundness theorem".