Justifying definitions in mathematics: going beyond Lakatos