La
philosophie des mathématiques est la branche de la
philosophie des sciences qui tente de répondre aux interrogations sur les
fondements des
mathématiques ainsi que sur leur usage. On y croise des questions telles que : « les mathématiques sont-elles nécessaires ? », « pourquoi les mathématiques sont-elles utiles ou efficaces pour décrire la
nature ? », « dans quel(s) sens, peut-on dire que les entités mathématiques existent ? » ou « pourquoi et comment peut-on dire qu'une
proposition mathématique est
vraie ? ».