In der Philosophie ist virulent, diesen Wahrheitsbegriff als reduktionstischen Wahrheitsbegriff zu lesen: "p" ist wahr, gdw p. Tarskis Ergebnis, dass "ist wahr" im einer widerspruchsfreien formalisierten Sprache nicht durchgängig für alle Fälle bestimmt ist, wird dabei als Verweis auf die Sachverhalte als außerhalb der Sprache liegende Entitäten verstanden, die sich aber nur innerhalb der Sprache oder durch Verwendung von Objekt- und Metasprache benennen lassen, so dass die Wahrheit für die Objektsprache nur in der Metasprache angegeben werden kann. Also eben nicht gerade als Undefinierbarkeit, sondern dann als Verweis auf einen "semantischen" Wahrheitsbegriff - man könnte vielleicht von einer formalen Undefinierbarkeit sprechen....-- Leif Czerny 17:00, 17. Aug. 2013 (CEST)