The indefinables of logic must be independent of each other. If an indefinable is introduced, it must be introduced in all combinations in which it can occur. We cannot therefore introduce it first for one combination, then for another; e.g., if the form x R y has been introduced, it must henceforth be understood in propositions of the form a R b just in the same way as in propositions such as (∃x,y). x R y and others. We must not introduce it first for one class of cases, then for the other; for it would remain doubtful if its meaning was the same in

both cases, and there would be no ground for using the same manner of combining symbols in both cases. In short, for the introduction of indefinable symbols and combinations of symbols the same holds, mutatis mutandis, that Frege has said for the introduction of symbols by definitions.

(2015–) Wittgenstein Source Bergen Nachlass Edition (WS-BNE). Edited by the Wittgenstein Archives at the University of Bergen under the direction of Alois Pichler. In: Wittgenstein Source, curated by Alois Pichler (2009–) and Joseph Wang-Kathrein (2020–). (N) Bergen: WAB.