Tarskis Undefinierbarkeitssatz

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein formales Resultat, wonach keine hinreichend ausdrucksstarke formale Sprache (etwa solche, die elementare Arithmetik darstellen kann) eine Formel enthalten kann, die das Wahrheitsprädikat für Sätze derselben Sprache korrekt und einheitlich definiert.