A formal system is sound if we cannot prove anything that’s wrong. This is in contrast with completeness, which is the property that you can prove all things right. 1
More formally, a proof system is sound if and only if every provable conclusion is logically entailment and provability. In other words, if
Not to be confused with sound argument, which operate on the scope of single arguments rather than logical systems