ABSTRACT
INTRODUCTION At the centre of mathematical learning there is a tension. Without formalisation there is no mathematical meaning: yet formalisation is most often seen as an insuperable obstacle in the construction of meaning, even counterposed to meaning itself. And without meaning there is no mathematics.
