Matemátika ta un siensia formal ku, entre otro, ta analisá number, patronchi, i strukturanan abstrakto. Matemátika a originá for di aritmétika i geometria, pero ta enserá muchu mas.
Strukturanan matemátiko ta wòrdu konstruí usando rasonamentu lógiko estrikto. Deklarashon matemátiko di kua e eksaktitut ta probá, ta wòrdu yamá posishon (hulandes: stelling); nan ta dikta tokante ophetonan definí i ta establesé ferbant entre nan. E argumento formal ku ta demostrá ku un posishon ta bèrdat, ta wòrdu yamá un prueba matemátiko. Ora ta kompilá un prueba, ta asumí un kantidat (chikí) di prinsipio (aksioma) i definishonnan.
Matemátika no ta wòrdu studia independientemente; e konosementu atkerí ta apliká tambe den tur tipo di situashon diario i otro siensia. Esaki ta wòrdu yamá matemátika apliká, kontrali na matemátika puru. Sinembargo, e frontera entre e dosnan no ta semper kla, i loke originalmente tabata parse matemátika puru despues ta resultá di tin aplikashonnan regular.
Den aplikashon, kalkulashonnan ta basá riba posishonnan probá kaba. Esaki por ta simpel, manera e teoria di Pitágoras den geometria pa kalkulá un distansia. Pero tin biaha e problema den bida diario ta asina ekstenso ku un (super)kòmpiuter ta nesesario pa haña un solushon denter di un tempu rasonabel. Un ehèmpel di esaki ta pronóstiko di wer den meteorologia: e atmósfera ta wòrdu modelá matemátikamente usando ekuashonnan diferensial (hulandes: differentiaalvergelijkingen). Balornan midí, tumá for di puntonan di midimentu rònt mundu na diferente altura, ta yuda determiná e kondishon inisial, despues di kua preshon, bientu, i humedat den futuro ta wòrdu kalkulá. Kalkulá e ekuashonnan diferensial ku ta sigui for di e datonan di midimentu aki ta tuma un kantidat enorme di tempu di kòmpiuter.