Sentence (mathematical logic)
= Sentence
{disambiguate=mathematical logic}
{wiki}
A <sentence (mathematical logic)> is a closed formula, with no free variable occurrences. Its truth does not depend on a variable assignment. A <first-order sentence> uses a first-order formal language.