Introduceer het Lambda Calculus als een formeel systeem. Definieer de drie basisregels: alpha-conversie, beta-reductie en eta-conversie. Laat zien hoe eenvoudige wiskundige functies (zoals identiteit en optelling met Church-nummers) kunnen worden opgebouwd met alleen lambda-expressies. Leg uit waarom dit model Turing-compleet is.