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