Aufgabe:
Kann jemand mir helfen, wie man in Lambda kalkül Mengen darstellen kann?
Und auch Mengen von Mengen darzustellen!
Problem/Ansatz:
Klauselnmenge in lambda kalküle darstellen!
