 Bolzano’s loose manner of speaking about substitutions of ideas in propositions is adopted in what follows. To declare one or several ideas in a given proposition variable is to consider the class of all propositions which have the same structure and contain the same ideas except perhaps at places occupied by the variable ideas. A proposition which results from such a substitution performed on the given proposition is called a variant.