MDLUL/isomorph (Prädikatenlogik)