One of the chief triumphs of modern mathematics consists in having discovered what mathematics really is.