MDLUL/aufzählbar (Theorie)

Start=aufzählbar (Theorie)

MDLUL/aufzählbar (Theorie)

Ziel=Theorie/Erster_Stufe/Ableitbar/Aufzählbar_axiomatisierbar/Definition