Start=formalen Beweis

MDLUL/formalen Beweis

Siehe=formaler Beweis
MDLUL/formaler Beweis
Ziel=Prädikatenkalkül/Ableitbar/Definition