Résumé
This paper highlights the relevance of the articulation between syntax and semantics in proof and proving activities. In the first part, we define what we call syntax and semantics and we suggest other articulations on the proof. In the second part, we present a logical and didactical analysis of a university course entitled "Mathematical Reasoning". This analysis relies on three types of data: interviews with teachers, worksheets and an assessment test.