MDLUL/aufzählbar-axiomatisierbar

Start=aufzählbar-axiomatisierbar

MDLUL/aufzählbar-axiomatisierbar

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