But in the present century, thanks in good part to the influence of Hilbert, we have come to see that the unproved postulates with which we start are purely arbitrary. They must be consistent, they had better lead to something interesting.