Hostname: page-component-cd9895bd7-q99xh Total loading time: 0 Render date: 2024-12-25T18:26:02.235Z Has data issue: false hasContentIssue false

Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe

Published online by Cambridge University Press:  12 March 2014

G. Hasenjaeger*
Affiliation:
Eidg. Techn. Hochschule, Zürich

Extract

Im Folgenden wird eine Vereinfachung der Beweisanordnung für Henkin's Theorem [2] p. 162 angegeben (Abschnitt I). – Die Vereinfachung zeigt sich u.a. darin, daß für den abgeänderten Beweis eine Abschätzung der “projektiven Klasse” (im Sinne der Kleene-Mostowski'schen Theorie der projektiven Mengen von natürlichen Zahlen) für das zu konstruierende Modell gelingt (Abschnitte II–IV). Die Kenntnis der Henkin'schen Arbeit wird vorausgesetzt.

Um eine maximale widerspruchsfreie Menge Γω von geschlossenen Formeln, in der zu jeder Existenzaussage (∃x)A(x) eine Beispielaussage A(uij) vorhanden ist, zu erhalten, führt Henkin einen Turm von Kalkülen S0, S1, …, Si, … und dessen Vereinigung Sω ein. Abwechselnd wird dann die gegebene Menge von Formeln in Si zu einer maximalen widerspruchsfreien Menge Γi erweitert und in Si+1 durch Hinzunahme von Beispielaussagen für alle Existenzaussagen aus Γi ergänzt, für die das nicht schon in einem früheren Schritt geschehen ist. Γω ist dann die Vereinigung aller Γi.

Die Vereinfachung besteht nun darin, daß – nach Erweiterung von S0 zu einem Kalkül S* durch Hinzunahme einer einfachen Folge u1, u2, … von “neuen” Konstanten – in S* zu jeder Existenzaussage eine bedingte Beispielaussage gebildet wird. K sei die Klasse dieser Aussagen, Λ die gegebene widerspruchsfreie Menge; dann wird Λ* = KΛ in S* einmal zu einer maximalen widerspruchsfreien Menge ergänzt.

Unter Verwendung der Standard-Anordnung aller geschlossenen Formeln von S* erhalten wir für diejenigen von der Form (∃x)A(x) eine Aufzählung (∃x)Ai(x), dazu eine Indexfolge ji (i =1, 2, …), definiert durch:

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1953

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

LITERATUR

[1]Church, Alonzo, Introduction to mathematical logic, part I, bevorstehende revidierte und erweiterte Auflage.Google Scholar
[2]Henkin, Leon, The completeness of the first-order functional calculus, this Journal, vol. 14 (1949), pp. 159166.Google Scholar
[3]Hilbert-Bernays, , Grundlagen der Mathematik I, Berlin 1934.Google Scholar
[4]Hilbert-Bernays, , Grundlagen der Mathematik II, Berlin 1939.Google Scholar
[5]Kleene, S. C., Recursive predicates and quantifiers, Transactions of the American Mathematical Society, vol. 53 (1943), pp. 4173.CrossRefGoogle Scholar
[6]Kleene, S. C., Introduction to metamathematics, New York, Amsterdam, und Groningen 1952.Google Scholar
[7]Mostowski, A., On definable sets of positive integers, Fundamenta mathematicae, vol. 34 (1946), pp. 81112.CrossRefGoogle Scholar