MDLUL/endlich axiomatisierbar

Start=endlich axiomatisierbar

MDLUL/endlich axiomatisierbar

Ziel=Theorie/Erster Stufe/Ableitbar/Endlich axiomatisierbar/Definition