Mathematik für Faule: Logik

• Iterative Deduktion
• Einsetzung
• Die Korrektheit der Deduktionsregeln
• Die Vollständigkeit der Deduktionsregeln
• Die Sätze von Löwenheim–Skolem
• Das Halteproblem
• Der Gödelsche Unvollständigkeitssatz