Describir: Philosophy of mathematics in the twentieth century :