On undecidable statements in enlarged systems of logic and the concept of truth. (Q2590242)

Verf. betrachtet ein formalisiertes logisches System \(\mathbf L\), für das die gewöhnlichen Schlußregeln gelten, und eine Klasse \(E\) von Aussagen des Systems \(\mathbf L\), deren metalogische Definiton in \(\mathbf L\) formalisierbar ist. Er definiert die Eigenschaft ``inhaltlich widerspruchsfrei'' und beweist, daß, wenn \(E\) inhaltlich widerspruchsfrei ist, in \(E\) stets unentscheidbare Sätze vorhanden sind. Solche Mengen \(E\) sind z. B. die Menge \(D\) der in \(\mathbf L\) beweisbaren Sätze, die Menge \(D_\lambda\) aller beweisbaren Sätze, wenn die sogenannte transfinite Induktion hinzugenommen wird, und jede Menge \(E\), die in \(Tr\), der Menge aller wahren Sätze in \(\mathbf L\), enthalten ist. Jede Menge \(E\) der letzten Art ist inhaltlich widerspruchsfrei. Weiter wird \(\mathbf L\) zu einem System \(\mathbf L_1\) erweitert derart, daß die Definition von \(Tr\) in \(\mathbf L_1\) formalisierbar ist. In \(\mathbf L_1\) wird jeder für eine Menge \(E\) in \(\mathbf L\) gebildete unentscheidbare Satz entscheidbar. Zum Schlusse macht Verf. eine Anwendung auf die Typentheorie und findet z. B., daß Sätze über reelle Zahlen existieren müssen, die mit keinem Satze über natürliche Zahlen gleichbedeutend sind.