MDLUL/aufzählbar axiomatisierbar

Start=aufzählbar axiomatisierbar

MDLUL/aufzählbar axiomatisierbar

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