sentence
in mathematical logic, a well-formed formula with no free variables
universal closure
formula without free variables obtained by adding a universal quantifier for every free variable
ground formula
logic formula without variables
atomic sentence
term in logic