MDLUL/aussagenlogischer Widerspruch