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