L’étude des relations entre formalisme et signification est une question vive en didactique des mathématiques, en particulier en ce qui concerne l’enseignement supérieur et la transition secondaire-supérieur. Dans cet article, l’auteure traite du cas des phénomènes d’anaphore (reprise de pronom) étudiés en sémantique formelle pour les langues naturelles. Elle montre sur un exemple que ce phénomène se retrouve également en mathématiques en lien avec la pratique de quantification implicite des énoncés conditionnels et qu’il est susceptible de générer des difficultés chez les étudiants en début d’université.