MDLUL/vollständige Theorie

Start=vollständige Theorie

MDLUL/vollständige Theorie

Ziel=Theorie/Erster_Stufe/Ableitbar/Vollständig/Definition