Fundamental concept in metalogic, and the term may be used without qualification with differing meanings depending on the context within mathematical logic.
A property of sequences of predicate logic expressions.
