Sur le problème fondamental de la logique mathématique. (Q577753)

Die Arbeit enthält zunächst eine Zusammenstellung der damals bekannten Einzelergebnisse zum Entscheidungsproblem, die unter Benutzung der in der früheren Hauptarbeit des Verf. (1930; F. d. M. \(56_{\text{II}}\), 824) dargelegten Ideen zum Teil noch exakter formuliert werden. Außerdem werden die folgenden wichtigen bisher unbekannten Reduktionssätze bewiesen: Man kann das Entscheidungsproblem allgemein lösen, wenn man die Lösung für die erste Stufe besitzt. Beim Entscheidungsproblem der ersten Stufe kann man sich auf die Untersuchung von Formeln beschränken, die nur eine einzige dreistellige Prädikatenvariable enthalten, oder auch auf solche, die nur drei zweistellige derartige Variable enthalten.