Ta una formula ϕ {\displaystyle \phi \,} en un luengache de primer orden L {\displaystyle {\mathfrak {L}}\,} , una variable x {\displaystyle x\,} y un termino t {\displaystyle t\,} que ye sustituible por x {\displaystyle x\,} en ϕ {\displaystyle \phi \,} , a formula ∀ x . ϕ → ϕ t x {\displaystyle \forall x.\phi \to \phi _{t}^{x}} ye valida universalment.