Mathematische Logik: 4.2 Der Vollständigkeitssatz (Do, 27.06.2013)