Az egzakt tudományok, más néven kemény tudományok, tiszta tudományok vagy alaptudományok teljesen a megfigyelésre és a kísérletezésre támaszkodnak, mint gyakorlatok a matematikai nyelvre épülő tudás létrehozására. Nagy precizitású és szigorú tudományról van szó, mivel a tudományos módszert a legtisztább formájában használják a hipotézisek tesztelésére, matematikát használva ennek hordozójaként.
A precizitás és a szigor az egzakt tudományok két fő jellemzője, egy olyan ág, amelyben a legszigorúbb tudományos módszert alkalmazzák a hipotézisek tesztelésére. Ezek a tudományok számszerűsíthető és objektív előrejelzések segítségével keresik posztulátumaik megcáfolhatatlanságát.
Az egzakt tudományok esetében arra törekednek, hogy a hipotézisek és a posztulátumok megcáfolhatatlanok legyenek egyenletek, számszerűsíthető és objektív matematikai műveletek révén. Ezeket az alapelveket axiómákként ismerjük.
Jelenleg, ahogyan azt Rudolf Carnap megállapította, az egzakt tudományok formális (nem kísérleti) és természettudományi (kísérleti) tudományokra oszlanak. A formális tudományok között találunk matematikát, logikát és formális logikát. A természettudományokban csillagászat, biológia és fizika.
Az egzakt tudományok már a keletkezésük óta megalapozták a tudományos ismereteket. Bár ma már világos, hogy nem minden tudás számszerűsíthető, ebből az előfeltevésből számos olyan alapvető törvény, elv és elmélet irányul, amelyek az évszázadok óta feltételezett alapelveket, például a gravitációt irányítják.
Minden tudománynak megvan a maga dimenziója. Ezért vannak olyan társadalomtudományok, egészségtudományok, amelyek a valószínűségen alapulnak (például meteorológia), vagy amelyek a természet valamilyen aspektusával foglalkoznak (biológia, állattan stb.). Az egyik legrelevánsabb tudomány a matematika, amelyet egzakt tudománynak is neveznek. A kifejezést többes számban használják, mert a matematika differenciált ágakból áll, mint például algebra, aritmetika, geometria vagy valószínűség. Másrészt a pontos szót azért használják, mert a matematika különböző területein van valami közös: bizonyításaik egyértelműek és vitathatatlanok, vagyis pontosak.
