Erklären Sie die grundlegende Syntax des Lambda-Kalküls, einschließlich Variablen, Abstraktion und Anwendung. Definieren Sie das Konzept der Beta-Reduktion und zeigen Sie an einem einfachen Beispiel, wie ein Lambda-Ausdruck ausgewertet wird.