Nature of mathematics