MDLUL/aufzählbar axiomatisierbare Theorie

Start=aufzählbar axiomatisierbare Theorie

MDLUL/aufzählbar axiomatisierbare Theorie

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