3 Nardi,Elena Iannone,Paola Biza,Irene 2008 Beyond the 'formalistic nonsense': the impact of symbols and prior images on students' sense-making of formal definitions Proceedings of the 11th Congress in Mathematics Education Mexico 2008