Artikeln diskuterar vad matematik egentligen handlar om, i kontrast till empiriska vetenskaper som fysik och kemi som direkt studerar verkligheten. Matematiken beskrivs som abstrakt, där begrepp som trianglar och naturliga tal är idealiserade strukturer snarare än direkta observationer av verkligheten. Olika filosofiska skolor presenteras för att besvara de ontologiska (vad är matematiska objekt?) och kunskapsteoretiska (hur får vi kunskap om dem?) frågorna, inklusive Platonism, Kants konstruktivism, Brouwers intuitionism och formalismen. Exempel på axiomatiseringsarbeten av Richard Dedekind (för naturliga tal) och David Hilbert (för geometri) används för att illustrera hur matematiska strukturer kan beskrivas systematiskt.