Gödel's completeness theorem (Q1312692)

Der hier dargebotene Beweis des Gödelschen Vollständigkeitssatzes setzt für sein Verständnis nur Anfangskenntnisse der Logik voraus (was ist ein Term, eine Formel, ein Modell). Es werden je ein Gentzen- und ein Hilbert-Kalkül als vollständig nachgewiesen. Die Beweise sich nicht neu im Prinzip, wohl aber in einigen nicht unwesentlichen Details und daher relativ kurz. Es werden auch die wichtigsten Konsequenzen des Satzes erörtert.