MDLUL/axiomatisierbare Theorie

Start=axiomatisierbare Theorie

MDLUL/axiomatisierbare Theorie

Ziel=Theorie/Erster_Stufe/Ableitbar/Axiomatisierbar/Entscheidbar/Definition