Invia SMS: Die Rolle der mathematischen Logik in der Künstlichen Intelligenz