MDLUL/axiomatisierbare Theorie