MDLUL/allgemeingültig (Prädikatenlogik)

Start=allgemeingültig (Prädikatenlogik)

MDLUL/allgemeingültig (Prädikatenlogik)

Ziel=Prädikatenlogik/Allgemeingültig/Jedes Modell/Definition