Matematik, soyut yapılar üzerinden kesinlik iddiası taşır. Ancak bu kesinliğin felsefi temeli tartışmalıdır. Bu etiket altında matematiğin ontolojik ve epistemolojik sorunları ele alınır.