MDLUL/endlich axiomatisierbare