2 ms·

Indeed. Soundness and completeness are different things. There are two well accepted definitions of soundness. One of them is the inability to prove true == fa

by srean 8mo ago

Indeed. Soundness and completeness are different things. There are two well accepted definitions of soundness. One of them is the inability to prove true == false, that is, one cannot prove a contradiction from within that axiomatic system.

lupire 8mo ago
They aren't completely different, because trying to achieve wine generally harms the other.
- srean 8mo ago
  True, I guess you understood what I meant, that they are different things. Indeed, as you allude, you cannot have both in an expressive enough system.