そういうこと。
「存在意義」とはそういうものだ。

もっとも、「数学は人間が生まれるずっと前から存在している。われわれ数学者は数学を掘り出すだけだ」という
素朴実在論者にとっては理解不能な概念だろう。