Implikation/Allimplikation/Regel/Fakt

Mit

$\vdash \alpha \rightarrow \beta$

ist auch

$\vdash \forall x\alpha \rightarrow \forall x\beta .$

Zum Beweis, Alternativen Beweis erstellen