MDLUL/Existenzeinführung im Sukzedens

Start=Existenzeinführung im Sukzedens

MDLUL/Existenzeinführung im Sukzedens

Ziel=Prädikatenlogik/Existenzeinführung_im_Sukzedens/Axiom