Is there any actual semantic difference between soundness and correctness? Can I use these words interchangeably when talking about formal reasoning, proof, logics, etc.?
Otherwise, is there a specific difference between something that is sound and something that is correct?