We argue for two points in this paper. Firstly, formal models can be a useful means for cognitive modelling, in particular for domains that traditionally already use this kind of model. Secondly, we present a formal model of how two of the grounding metaphors for arithmetic proposed by Lakoff and Núñez (2000) can be linked to basic notions of arithmetic using the infomorphisms of the Information Flow theory.