Help


from Wikipedia
« »  
Soundness is among the most fundamental properties of mathematical logic.
A soundness property provides the initial reason for counting a logical system as desirable.
The completeness property means that every validity ( truth ) is provable.
Together they imply that all and only validities are provable.

2.264 seconds.