Матэматычны доказ: розьніца паміж вэрсіямі

У [[матэматыка|матэматыцы]] '''до́казам''' называецца ланцуг лягічных вывадаў, які паказвае, што пры якімсьці наборы [[аксіёма]]ў і правілаў высновы зьяўляецца слушным пэўнае сьцьверджаньне. У залежнасьці ад кантэксту, можа мецца на ўвазе доказ у рамках пэўнай фармальнай сыстэмы (пабудаваная па адмысловых правілах пасьлядознасьць сьцьверджаньняўсьцьвярджэньняў, запісаная на фармальнай мове) ці тэкст на натуральнай мове, паводле якога пры жаданьні магчыма аднавіць фармальны доказ. Даказаныя сьцьверджаньнісьцьвярджэньні ў матэматыцы называюць [[тэарэма]]мі (у матэматычных тэкстах звычайна маецца пад сабой, што доказ кімсьці знойдзены); калі ні сьцьверджаньнесьцьвярджэньне, ні яго адмаўленьне яшчэ не даказаныя, тотады такоегэтае сьцьверджаньнесьцьвярджэньне называюць гіпотэзай[[гіпотэза]]й. Часам у працэсе доказа тэарэмы выдзяляюцца доказы меней складаных сьцьверджаньняўсьцьвярджэньняў, называемых лемамі.