MDLUL/Term (Prädikatenlogik)

Start=Term (Prädikatenlogik)

MDLUL/Term (Prädikatenlogik)

Ziel=Term/Variablenmenge/Funktionssymbole/Grundmenge/Rekursiv_definierte_Termmenge/Definition