MDLUL/widerspruchsfrei (Theorie)