MDLUL/widerspruchsfreie (Theorie)