Mathematische Logik: 4.3 Der Beweis des Vollständigkeitssatzes (Di, 02.07.2013)