First-order sentence
= First-order sentence
A first-order sentence is a formula with no free variables, so its truth in a structure is independent of a variable assignment.
A <sentence (mathematical logic)> has no free variables; a <first-order sentence> is its first-order instance.