MDLUL/Existenzeinführung im Antezedens

Start=Existenzeinführung im Antezedens

MDLUL/Existenzeinführung im Antezedens

Ziel=Prädikatenlogik/Existenzeinführung_im_Antezedens/Regel/Axiom