Es sei S {\displaystyle {}S} ein Symbolalphabet erster Stufe, α {\displaystyle {}\alpha } ein S {\displaystyle {}S} -Ausdruck und x {\displaystyle {}x} eine Variable. Zeige, dass ⊢ α {\displaystyle {}\vdash \alpha } genau dann gilt, wenn ⊢ ∀ x α {\displaystyle {}\vdash \forall x\alpha } gilt.
