pour chaque x il y a un y, fonction de cet x, tel
que...
il y a un y, le même pour tous les x, tel que... |
On comprend pourquoi il faut mettre les quantificateurs devant la propriété qu'ils quantifient : si on se permettait d'écrire :
y
F, P(x, y),
x
E
on ne saurait jamais laquelle des deux formules précédentes on veut exprimer.