Start=allgemeingültig

MDLUL/allgemeingültig

Ziel=Prädikatenlogik/Allgemeingültig/Jedes_Modell/Definition