The simplest way to explain the difference, is that Gödel’s completeness theorem applies to first order logic, whereas Gödel’s incompleteness theorem applies to second order logic.
Right.
The simplest way to explain the difference, is that Gödel’s completeness theorem applies to first order logic, whereas Gödel’s incompleteness theorem applies to second order logic.
Right.