Exercice 2, § 1

Soit $A$ un terme ou une relation d’une théorie $\mathscr{T}$. Montrer que dans $A$, chaque signe $\Box$, s’il y en a, est lié à un seul signe $\tau$, situé à sa gauche. Montrer que dans $A$, chaque signe $\tau$, s’il y en a, est, ou bien non lié, ou bien lié à certains signes $\Box$ situés à sa droite. Aucun autre signe figurant dans $A$ n’est lié.