MDLUL/endlich axiomatisierbar