“ Here’s a basic example using the statement, “This true statement is not provable.” If it were provable, it would be false, making logic inconsistent. If it’s not provable, then it’s true, but that makes any system trying to prove it incomplete”
Only if you assume the law of the excluded middle, right?
Statements aren’t just true or false, they can also be malformed or undefined.