MDLUL/aufzählbar axiomatisierbare

Start=aufzählbar axiomatisierbare

MDLUL/aufzählbar axiomatisierbare

Siehe=aufzählbar axiomatisierbar
MDLUL/aufzählbar axiomatisierbar
Ziel=Theorie/Erster_Stufe/Ableitbar/Aufzählbar_axiomatisierbar/Definition