The branch of philosophy that deals with the nature of mathematics, its notions, and objects. It commonly relates to the foundations of mathematics and also to the question of whether mathematics is discovered or invented. See finitism, formalism, intuitionism, logicism, Platonism, realism, structuralism.