There is nothing TO understand!PeteOlcott wrote: ↑Wed Feb 26, 2020 5:05 pm We are way past understanding that Wittgenstein was correct about Gödel being wrong?

Gödel pointed out that reasonably powerful axiomatic system that can do arithmetic can't be consistent AND complete.

That means you have a choice. You can choose to optimise for consistency (which is what Mathematicians do), or you can choose to optimise for completeness (which is what Logicians do).

You are only focusing on Gödel's incompleteness theorem. You are ignoring Gödel's completeness theorem.

Truth IS provability, but

**ONLY**in first order logic. It does not apply to higher order logics.

https://en.wikipedia.org/wiki/G%C3%B6de ... ss_theorem

Gödel's completeness theorem is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first-order logic.

You are agreeing with Gödel and you don't even know it.