Cet article présente une étude exploratoire des pratiques langagières de validation des étudiants en analyse réelle. Des groupes d’étudiants sont confrontés à une adaptation d’une preuve de Cauchy contenant une inférence dont la validité est discutable, tout du moins à l’aune des mathématiques contemporaines. Leur tâche est de l’évaluer. L’analyse s’appuie sur une modélisation de la situation construite à partir des outils formels de la sémantique selon la théorie des jeux de Hintikka. Cette modélisation est utilisée pour analyser les dialogues des étudiants. Elle permet notamment de préciser de quelle manière et dans quelle mesure les étudiants parviennent, ou non, à aborder les questions mathématiques que pose la preuve de Cauchy. Cela passe par une tentative d’identification du rôle du vocabulaire de la variation et de la temporalité dans leurs pratiques langagières.