MDLUL/Existenzeinführung im Sukzedenz

Start=Existenzeinführung im Sukzedenz

MDLUL/Existenzeinführung im Sukzedenz

Ziel=Prädikatenlogik/Existenzeinführung_im_Sukzedens/Axiom