MDLUL/Alleinführung im Sukzedens

Start=Alleinführung im Sukzedens

MDLUL/Alleinführung im Sukzedens

Ziel=Prädikatenlogik/Alleinführung_im_Sukzedens/Regel/Axiom