Matematické důkazy

Dějiny matematiky sahají až do pravěku, postupně se matematika začala vyvíjet v antickém Řecku. Potřeba matematiky souvisela s běžnými početními úkony, které byly nutné při vyměřování pozemků, v obchodě nebo při určování času. Řecký matematik a geometr Eukleidés sepsal první knihy, věnované matematice. Matematický důkazy slouží k ověření pravdivosti a jsou založené na matematické logice. Vzhledem k tomu, že při matematickém dokazování se nepřipouští žádné jiné postupy, jako jsou například zkušenosti nebo názory, je matematický důkaz považován za nejpravdivější možnost dokazování.