One of the chief triumphs of modern mathematics consists in having discovered what mathematics really is.
Bertrand Russell (2015). “Mysticism and Logic and Other Essays: Top Philosophy Collections”, p.46, 谷月社

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