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