Filosofisk reflexion över den matematiska kunskapens natur har spelat en viktig roll i den västerländska filosofin alltsedan antiken. Den grekiska matematikens utveckling till en deduktiv vetenskap gav upphov till frågan hur det kan vara möjligt att genom rent tänkande etablera säkra sanningar som har tillämpningar i den konkreta verkligheten. Platons