7.2.4 Introducció de l'universal

Aquesta és bastant fàcil:

$$\begin{fitch*} \par n & A \\ \par \hline \par & \forall x A & I$\forall$\ n \par \end{fitch*}$$

O sigui, que si $A$ es compleix sempre, es compleix per qualsevol valor de $x$. No ha d'haver cap $x$ lliure en cap hipòtesi accesible.