Start=maximal widerspruchsfrei (Prädikatenlogik)
Ziel=Ausdrucksmenge/Maximal widerspruchsfrei/Definition