Sentence (mathematical logic)

It is the presence of a free variable, rather than the inconstant truth value, that is important; for example, even in the structure of the complex numbers, where the statement is always true, it is still not considered a sentence. Such a formula may be called a predicate instead.