MDLUL/unvollständig (Logik)

Start=unvollständig (Logik)

MDLUL/unvollständig (Logik)

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