Begriffs-Hierarchien und Lambda-Kalkül