  In the considerations preliminary to the presentation of his theory, Tarski says that when a sentence X of a formal language (e.g., LAr) is a logical consequence of a set K of sentences of that language, the argument with premises K and conclusion X has the following property, that Tarski calls “condition (F)”: