Adrian Mathias ofrece la siguiente explicación aquí:
Bourbaki utilizar el operador de Hilbert , pero escribo como $\tau$ en lugar de $\varepsilon$, que es visualmente muy cerca de la señal de $\in$ para los miembros de la relación. Bourbaki el uso de la palabra el montaje, o en su traducción al inglés, de la asamblea, en el sentido de una secuencia finita de signos o leters, los signos $\tau$, $\square$, $\lor$, $\lnot$, $=$, $\in$ y $\bullet$.
La sustitución de la asamblea $A$ para cada ocurrencia de la letra $x$ en la asamblea de la $B$ se denota por a $(A|x) B$.
Bourbaki el uso de la palabra en relación a la media de lo que en los países de habla inglés se suele llamar un bien formado fórmula.
Las reglas de formación de $\tau$-términos son estos:
Deje $R$ una asamblea y $x$ una carta; a continuación, la asamblea de la $\tau_x(R)$ se obtiene en tres pasos:
- formulario de $\tau R$, de una longitud mayor que la de la $R$;
- vínculo que la primera aparición de la $\tau$ a todas las ocurrencias de $x$ $R$
- reemplace todas aquellas ocurrencias de $x$ por una ocurrencia de $\square$.
En el resultado $x$ no se produce. El punto de esto es que no hay variables enlazadas; como variables de quedar obligado (por una ocurrencia de $\tau$), son sustituidos por $\square$, y los sucesos de $\square$ están vinculados a la aparición de $\tau$ que les une.
El significado es que el $\tau_x(R)$ algunos $x$ $R$ es cierto.
