Mathematische Logik: 4.4 Der Kompaktheitssatz (Di, 09.07.2013)