Philosophy of mathematics: making a fresh start