„TLP-3.262, TLP-3.3 u.ö.), stellt sich die Frage, wie ihre Bedeutung jenseits ihrer Anwendung in einem Satz verfügbar ist. Für die Beantwortung dieser Frage wird sich die Passage TLP-3.4 bis TLP-3.318 als aufschlussreich erweisen, namentlich das in TLP-3.315 angedeutete Formalisierungsverfahren: „Verwandeln wir einen Bestandteil eines Satzes in eine Variable, so gibt es eine Klasse von Sätzen, welche sämtlich Werte des so entstandenen variablen Satzes sind..." D.h.: ein Ausdruck kann aus dem Verwendungskontext in einem Satz nur dadurch abgehoben werden, dass ein Bestandteil des Satzes formalisiert, in eine Variable verwandelt wird."