Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit

Inhaltsverzeichnis

• 6. Normalformen.
• 6.1 Dualform.
• 6.2 Adjunktive und konjunktive Normalform.
• 6.3 Pränexe Normalform.
• 6.4 Skolem-Normalform.
• 6.5 Distributive Normalform („Hintikka-Normalform“).
• 7. Identität.
• 7.1 i-Semantik.
• 7.2 Anzahlquantoren.
• 7.3 Der Kennzeichnungsoperator.
• 8. Theorien.
• 8.1 Entscheidbarkeit und Aufzählbarkeit.
• 8.2 Theorien erster Stufe.
• 8.3 Definitorische Theorieerweiterung.
• II. Metalogische Ergebnisse.
• 9. Kompaktheit.
• 10. Das Fundamentaltheorem der Quantorenlogik.
• 11. Analytische und synthetische Konsistenz. Zwei Typen von Vollständigkeitsbeweisen: solche vom Gödel-Gentzen-Typ und solche vom Henkin-Typ.
• 12. Unvollständigkeit und Unentscheidbarkeit.