more on this theme | more from this thinker | more from this text
Full Idea
The concept of truth of sentences in a language cannot be defined in the language. This is the true reason for the existence of undecidable propositions in the formal systems containing arithmetic.
Gist of Idea
The real reason for Incompleteness in arithmetic is inability to define truth in a language
Source
Kurt Gödel (works [1930]), quoted by Peter Smith - Intro to Gödel's Theorems 21.6
Book Ref
Smith,Peter: 'An Introduction to Gödel's Theorems' [CUP 2007], p.182
A Reaction
[from a letter by Gödel] So they key to Incompleteness is Tarski's observations about truth. Highly significant, as I take it.
email your comments