Die Vollständigkeit der Axiome des logischen Funktionenkalküls. (Q1828977)

Verf. überträgt \textit{P. Bernays}' axiomatische Untersuchung des Aussagenkalküls [Axiomatische Untersuchung des Aussagen-Kalküls der ``Principia Mathematica''. Math. Z. 25, 305--320 (1926; JFM 52.0049.01)] auf den sog. engeren Funktionenkalkül (vgl. \textit{D. Hilbert} and \textit{W. Ackermann}, Grundzüge der theoretischen Logik. Berlin: J. Springer (1928; JFM 54.0055.01)). Zugrunde gelegt werden als Prämisse sechs formale Axiome, die im wesentlichen mit denen der Principia Mathematica übereinstimmen, und abgesondert davon vier Schlußregeln. Die Vollständigkeit des Axiomensystems wird in folgender Form bewiesen: Jede Formel \(A\) des engeren Funktionenkalküls ist entweder im abzählbaren Individuenbereich erfüllbar, oder ihre Negation \(\overline A\) ist ableitbar. Dabei wird \(\overline{\overline{A}} = A\) benutzt. Den Beweis des Vollständigkeitssatzes führt Verf. durch vollständige Induktion: Er reduziert den allgemeinen Fall auf den gewisser Normalformen, für die er mit Hilfe der Sättigungsoperationen einen Grad definiert, der die Durchführung des Induktionsschlusses gestattet. Erweitert man unter Beibehaltung der Schlußregeln das Axiomensystem um den Begriff der Identität, so gilt auch für diesen weiteren Bereich der Vollständigkeitssatz. Desgleichen gilt folgende Verallgemeinerung: Jede abzählbar unendliche Menge von Formeln des engeren Funktionenkalküls ist entweder erfüllbar, oder sie besitzt ein endliches Teilsystem, dessen logisches Produkt widerlegbar ist. Der Satz folgt aus dem anfangs bewiesenen Vollständigkeitssatz durch die Reduktion darauf, daß jedes endliche Teilsystem des unendlichen Systems erfüllbar ist. Schließlich wird \textit{Bernays}' Unabhängigkeitsbeweis auf das erweiterte Axiomensystem ausgedehnt.