1.Previous
3.Next

is sound if for any sequence of sentences in its language, if , then . In other words, a system is sound when all of its theorems are validities.

Soundness is among the most fundamental properties of mathematical logic. The soundness property provides the initial reason for counting a logical system as desirable. The completeness

1.Previous
3.Next