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