L-Formel, die keine freien Variablen enthält.

Eine L-Formel φ(x₁, …, x_n) mit den freien Variablen x₁, …, x_n kann abgeschlossen werden, indem die Variablen x₁, …, x_n, an den Stellen, an denen sie frei vorkommen, durch Individuenzeichen ersetzt werden, oder indem die freien Variablen quantifiziert werden. Insbesondere ist die Aussage ∀x₁ … ∀x_nφ(x₁, …, x_n) mit dem Ausdruck φ(x₁, …, x_n) logisch äquivalent.