Telefona gönder: Einige Grundbegriffe der mathematischen Logik