Es sei ${\displaystyle {}S}$ ein Symbolalphabet erster Stufe, ${\displaystyle {}\alpha }$ ein ${\displaystyle {}S}$-Ausdruck und ${\displaystyle {}x}$ eine Variable.

Dann ist ${\displaystyle {}\vdash \alpha }$ genau dann, wenn ${\displaystyle {}\vdash \forall x\alpha }$ ist.